2 citations · 5 across the 9 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.LO2024
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…
cs.LO2024
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…