most citedCombining First-Order Classical and Intuitionistic Logic

5 citations · 5 across the 1 of their papers we have counts for

collaborators

1 paper

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…