Switch to: References

Add citations

You must login to add citations.
  1. Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation.Masanobu Toyooka & Katsuhiko Sano - forthcoming - Studia Logica:1-31.
    This paper studies a combined system of intuitionistic and classical propositional logic from proof-theoretic viewpoints. Based on the semantic treatment of Humberstone (J Philos Log 8:171–196, 1979) and del Cerro and Herzig (Frontiers of combining systems: FroCoS, Springer, 1996), a sequent calculus $$\textsf{G}(\textbf{C}+\textbf{J})$$ is proposed. An approximate idea of obtaining $$\textsf{G}(\textbf{C}+\textbf{J})$$ is adding rules for classical implication on top of the intuitionistic multi-succedent sequent calculus by Maehara (Nagoya Math J 7:45–64, 1954). However, in the semantic treatment, some formulas do not (...)
    Direct download (3 more)  
    Export citation