The Disjunction-Free Fragment of D2 is Three-Valued
Logic in Computer Science
2025-01-03 v1
Abstract
In this article, the disjunction-free fragment of Ja\'skowski'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.
Cite
@article{arxiv.2501.00501,
title = {The Disjunction-Free Fragment of D2 is Three-Valued},
author = {Hitoshi Omori},
journal= {arXiv preprint arXiv:2501.00501},
year = {2025}
}
Comments
In Proceedings NCL'24, arXiv:2412.20053