Peirce's rule in natural deduction.
From MaRDI portal
Publication:1607223
DOI10.1016/S0304-3975(01)00296-1zbMath1048.03044MaRDI QIDQ1607223
Publication date: 31 July 2002
Published in: Theoretical Computer Science (Search for Journal in Brave)
Related Items
2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02, Peirce's Rule in a Full Natural Deduction System, A new normalization strategy for the implicational fragment of classical propositional logic, An alternative normalization of the implicative fragment of classical logic, SUBFORMULA AND SEPARATION PROPERTIES IN NATURAL DEDUCTION VIA SMALL KRIPKE MODELS, 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08
Cites Work