A proof-theoretic analysis of the meaning of a formula in a combination of intuitionistic and classical propositional logic

DOI10.1007/978-3-031-43977-3_7zbMATH Open1542.03033MaRDI QIDQ6560406

Author name not available (Why is that?)

Publication date: 21 June 2024

zbMATH Keywords

sequent calculusintuitionistic logicclassical logiccombination of logicsbilateralismsemantic completeness

Mathematics Subject Classification ID

Classical propositional logic (03B05) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20) Combined logics (03B62)

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?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Why conclusions should remain single
• Kripke semantics and proof systems for combining intuitionistic logic and classical logic
• Truth values and proof theory
• Negation as a sign of negative judgment
• Interval semantics for tense logic: Some remarks
• The revival of rejective negation
• Anything goes
• Meaning as an inferential role
• Meaning approached via proofs
• Validity concepts in proof-theoretic semantics
• Modal logic
• Structural proof theory. With an appendix by Aarne Ranta
• Combining Classical and Intuitionistic Implications
• Rejection
• A semantical analysis of cut-free calculi for modal logics
• A note on Humberstone's constant Ω
• Semantical Approach to Cut Elimination and Subformula Property in Modal Logic
• ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC
• Eine Darstellung der Intuitionistischen Logik in der Klassischen
• Logic and structure
• Generic Modal Cut Elimination Applied to Conditional Logics
• An ecumenical notion of entailment
• Combining first-order classical and intuitionistic logic
• Another combination of classical and intuitionistic conditionals

This page was built for publication: A proof-theoretic analysis of the meaning of a formula in a combination of intuitionistic and classical propositional logic

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