Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 64, Issue 4 (1999), 1573-1590.
Displaying the Modal Logic of Consistency
It is shown that the constructive four-valued logic N4 can be faithfully embedded into the modal logic S4. This embedding is used to obtain complete, cut-free display sequent calculi for N4 and C4, the modal logic of consistency over N4. C4 is a natural monotonic base system for semantics-based non-monotonic reasoning.
J. Symbolic Logic, Volume 64, Issue 4 (1999), 1573-1590.
First available in Project Euclid: 6 July 2007
Permanent link to this document
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Wansing, Heinrich. Displaying the Modal Logic of Consistency. J. Symbolic Logic 64 (1999), no. 4, 1573--1590. https://projecteuclid.org/euclid.jsl/1183745939