| A Variant of Thomason's First-order Logic CF Based On Situations (1997) | |||||||||||||||
Abstract | |||||||||||||||
| In this paper, we define a first-order logic CF 0 with strong negation and bounded classical quantifiers, which is a variant of Thomason's logic CF . For the logic CF 0 , the usual Kripke formal semantics is defined based on situations, and a sound and complete axiomatic system is established based on the axiomatic systems of constructive logics with strong negation and Thomason's completeness proof techniques. With the use of bounded quantifiers, CF 0 allows the domain of quantification to be empty and allows for non-denoting constants. CF 0 is intended as a fragment of a logic for situation theory. Thus the connection between CF 0 and infon logic is discussed. 1 Introduction In [23], Thomason constructed a first-order logic CF . In his logic, a constructive negation is used instead of a classical or intuitionistic one. Constructive negation, also called strong negation, was introduced by D. Nelson in [20] following Kleene's notion of recursive realizability, empha... | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||