An alternative normalization of the implicative fragment of classical logic
From MaRDI portal
Publication:2352461
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
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