Constructive Logic and Situation Theory

Authors:
Seiki Akama;Yasunori Nagata
Affiliations:
Teikyo Heisei University, Japan;University of the Ryukyus, Japan
Venue:
Proceedings of the 2005 conference on Advances in Logic Based Intelligent Systems: Selected Papers of LAPTEC 2005
Year:
2005

Citing 3
Cited 0

Logic and information

Logic and information
Logic of Information Structures

Logic of Information Structures
Tableaux for Logic Programming with Strong Negation

TABLEAUX '97 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

Infon Logic was introduced by Devlin as a logic for situation theory which constitutes a logical foundation for Barwise and Perry's situation semantics. In this paper, we propose constructive infon logic (CIL) based on Nelson's constructive logic with strong negation. A Kripke semantics is given with a completeness proof.