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.

In Proceedings NCL'24, arXiv:2412.20053