4 papers
The Disjunction-Free Fragment of D2 is Three-Valued
Hitoshi Omori
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…
A note on Grigoriev and Zaitsev's system CNL
Hitoshi Omori, Jonas R. B. Arenhart
The present article examines a system of four-valued logic recently introduced by Oleg Grigoriev and Dmitry Zaitsev. In particular, besides other interesting results, we will clari…
The Power of Generalized Clemens Semantics
Hitoshi Omori, Jonas R. B. Arenhart
In this paper, we elaborate on the ordered-pair semantics originally presented by Matthew Clemens for LP (Priest's Logic of Paradox). For this purpose, we build on a generalization…
Kamide is in America, Moisil and Leitgeb are in Australia
Satoru Niki, Hitoshi Omori
It is not uncommon for a logic to be invented multiple times, hinting at its robustness. This trend is followed also by the expansion BD+ of Belnap-Dunn logic by Boolean negation.…