Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons)

DOI10.1016/j.jal.2017.11.001zbMath1436.03289OpenAlexW2771143790MaRDI QIDQ1693600

Michael Gabbay

Publication date: 31 January 2018

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2017.11.001

zbMATH Keywords

harmonynormalisationbilateralismproof theoretic justification

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (6)

Logical multilateralism ⋮ Introduction: Bilateralism and Proof-Theoretic Semantics (Part I) ⋮ Introduction: Bilateralism and Proof-Theoretic Semantics (Part II) ⋮ Bilateral Rules as Complex Rules ⋮ Normality, non-contamination and logical depth in classical natural deduction ⋮ Single-assumption systems in proof-theoretic semantics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Harmony and autonomy in classical logic
• Untersuchungen über das logische Schliessen. I
• Some comments on Ian Rumfitt's bilateralism
• Gentzen's Proof of Normalization for Natural Deduction
• Normalization theorems for full first order classical natural deduction
• Rejection

This page was built for publication: Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons)