5 citations · 6 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2022★ 1 cited
Semantic Incompleteness of Hilbert System for a Combination of Classical and Intuitionistic Propositional Logic
Masanobu Toyooka, Katsuhiko Sano
The updated version of this paper has already been published in The Australasian Journal of Logic. You can access to the paper from the following link: https://ojs.victoria.ac.nz/a…
cs.LO2022★ 5 cited
Combining First-Order Classical and Intuitionistic Logic
Masanobu Toyooka, Katsuhiko Sano
This paper studies a first-order expansion of a combination C+J of intuitionistic and classical propositional logic, which was studied by Humberstone (1979) and del Cerro and Herzi…