Peirce's Rule in a Full Natural Deduction System
From MaRDI portal
Publication:5170286
DOI10.1016/j.entcs.2009.11.002zbMath1291.03109MaRDI QIDQ5170286
No author found.
Publication date: 23 July 2014
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2009.11.002
03F05: Cut-elimination and normal-form theorems
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Normalization and excluded middle. I
- A new normalization strategy for the implicational fragment of classical propositional logic
- Peirce's rule in natural deduction.
- On the proof theory of the intermediate logic MH
- On cut elimination in the presence of perice rule
- Logic as Mathematical Science