5 citations · 8 across the 2 of their papers we have counts for
2 papers
cs.LO2024★ 3 cited
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.…
cs.LO2022★ 5 cited
Another Combination of Classical and Intuitionistic Conditionals
Satoru Niki, Hitoshi Omori
On the one hand, classical logic is an extremely successful theory, even if not being perfect. On the other hand, intuitionistic logic is, without a doubt, one of the most importan…