Infon logic based on constructive logic

Seiki Akama, Yasunori Nagata

Abstract


Infon Logic was introduced by Devlin as a logic for situation theory. In this paper, we propose a version of infon logic, called constructive infon logic (CIL) based on Nelson’s constructive logic with strong negation. CIL has constructible negation which is desirable to situated reasoning. We give Hilbert and tableau formulation of CIL and prove completeness with respect to Kripke semantics. Some issues related to situation theory are also discussed.

Full Text:

PDF

Refbacks

  • There are currently no refbacks.