The Disjunction-Free Fragment of D2 is Three-Valued
Abstract
In this article, the disjunction-free fragment of Jaśkowski's discussive logic D2 in the language of classical logic is shown to be complete with respect to three- and four-valued semantics. As a byproduct, a rather simple axiomatization of the disjunction-free fragment of D2 is obtained. Some implications of this result are also discussed.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2024
- DOI:
- arXiv:
- arXiv:2501.00501
- Bibcode:
- 2025arXiv250100501O
- Keywords:
-
- Computer Science - Logic in Computer Science
- E-Print:
- In Proceedings NCL'24, arXiv:2412.20053