Combining first-order classical and intuitionistic logic

DOI10.4204/EPTCS.358.3MaRDI QIDQ6659896FDOQ6659896

Author name not available (Why is that?), Katsuhiko Sano

Publication date: 9 January 2025

Mathematics Subject Classification ID

General logic (03Bxx)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Structural proof theory. With an appendix by Aarne Ranta
• Interval semantics for tense logic: Some remarks
• Subintuitionistic logics
• A short introduction to intuitionistic logic
• Logics without the contraction rule
• Quantification in nonclassical logic. Volume I.
• Eine Darstellung der Intuitionistischen Logik in der Klassischen
• Typed Lambda Calculi and Applications
• Combining Classical and Intuitionistic Implications
• Subintuitionistic logics and the implications they prove
• Subintuitionistic logics with Kripke semantics
• Proof theory and algebra in logic
• An ecumenical notion of entailment

Cited In (2)

• 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

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)