An alternative normalization of the implicative fragment of classical logic

DOI10.1007/s11225-014-9573-0zbMath1373.03008OpenAlexW2092871146MaRDI QIDQ2352461

Mirjana Ilić, Branislav R. Boričić

Publication date: 2 July 2015

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-014-9573-0

zbMATH Keywords

normalizationnatural deductionclassical implicationinterpretation

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Classical propositional logic (03B05) Structure of proofs (03F07)

Cites Work

• Normalization and excluded middle. I
• A new normalization strategy for the implicational fragment of classical propositional logic
• On sequence-conclusion natural deduction systems
• On certain normalizable natural deduction formulations of some propositional intermediate logics
• Existential instantiation and normalization in sequent natural deduction
• Harmony and autonomy in classical logic
• Peirce's rule in natural deduction.
• Harmony in multiple-conclusion natural-deduction
• A note on some intermediate propositional calculi
• On cut elimination in the presence of perice rule
• Implicational logics in natural deduction systems
• ON SOME INTERPRETATIONS OF CLASSICAL LOGIC
• Algebraic proof of the separation theorem on classical propositional calculus
• On the separation theorem of intermediate propositional calculi
• Applications of trees to intermediate logics
• The separation theorem of intuitionist propositional calculus
• A note on the reduction of Gentzen’s calculus 𝐿𝐽
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item