Notre Dame Journal of Formal Logic 42 (3):171-192 (2001)

Jon Michael Dunn
Indiana University, Bloomington
Katalin Bimbo
University of Alberta
Four-valued semantics proved useful in many contexts from relevance logics to reasoning about computers. We extend this approach further. A sequent calculus is defined with logical connectives conjunction and disjunction that do not distribute over each other. We give a sound and complete semantics for this system and formulate the same logic as a tableaux system. Intensional conjunction and its residuals can be added to the sequent calculus straightforwardly. We extend a simplified version of the earlier semantics for this system and prove soundness and completeness. Then, with some modifications to this semantics, we arrive at a mathematically elegant yet powerful semantics that we call generalized Kripke semantics
Keywords substructural logics   Lambek calculi   relevance logic   lattice representation   Kripke semantics
Categories (categorize this paper)
DOI 10.1305/ndjfl/1063372199
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 55,856
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Generalized Kripke Frames.Mai Gehrke - 2006 - Studia Logica 84 (2):241-275.
Four-Valued Paradefinite Logics.Ofer Arieli & Arnon Avron - 2017 - Studia Logica 105 (6):1087-1122.
Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.
Current Trends in Substructural Logics.Katalin Bimbó - 2015 - Journal of Philosophical Logic 44 (6):609-624.

Add more citations

Similar books and articles

How to Avoid Deviance (in Logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
Three-Valued Logics in Modal Logic.Barteld Kooi & Allard Tamminga - 2013 - Studia Logica 101 (5):1061-1072.
Algorithmic Logic. Multiple-Valued Extensions.Helena Rasiowa - 1979 - Studia Logica 38 (4):317 - 335.
Finiteness in Infinite-Valued Łukasiewicz Logic.Stefano Aguzzoli & Agata Ciabattoni - 2000 - Journal of Logic, Language and Information 9 (1):5-29.
Many-Valued Logics.Grzegorz Malinowski - 1993 - Oxford University Press.
Partiality and its Dual.J. Michael Dunn - 2000 - Studia Logica 66 (1):5-40.


Added to PP index

Total views
31 ( #330,373 of 2,401,764 )

Recent downloads (6 months)
1 ( #551,897 of 2,401,764 )

How can I increase my downloads?


My notes