Combining first-order classical and intuitionistic logic

DOI10.4204/EPTCS.358.3MaRDI QIDQ6659896zbMATH OpenFDO

Authors Katsuhiko Sano

Publication date 9 January 2025

Full work available at URL https://doi.org/10.4204/EPTCS.358.3

Mathematics Subject Classification ID

General logic (03Bxx)

Cites work

• A short introduction to intuitionistic logic
• An ecumenical notion of entailment
• Combining Classical and Intuitionistic Implications
• Eine Darstellung der Intuitionistischen Logik in der Klassischen
• scientific article; zbMATH DE number 7034416 (Why is no real title available?)
• scientific article; zbMATH DE number 1140673 (Why is no real title available?)
• scientific article; zbMATH DE number 1538011 (Why is no real title available?)
• scientific article; zbMATH DE number 3199779 (Why is no real title available?)
• Interval semantics for tense logic: Some remarks
• Logics without the contraction rule
• More on empirical negation
• Proof theory and algebra in logic
• Quantification in nonclassical logic. Volume I.
• Structural proof theory. With an appendix by Aarne Ranta
• Subintuitionistic logics
• Subintuitionistic logics and the implications they prove
• Subintuitionistic logics with Kripke semantics
• Typed Lambda Calculi and Applications

Cited in

(3)

• A proof-theoretic analysis of the meaning of a formula in a combination of intuitionistic and classical propositional logic
• Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation
• Separability and harmony in ecumenical systems

This page was built for publication: Combining first-order classical and intuitionistic logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6659896)