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, Normalisation for Some Quite Interesting Many-Valued Logics, Peirce's Rule in a Full Natural Deduction System, A new normalization strategy for the implicational fragment of classical propositional logic, Single-assumption systems in proof-theoretic semantics, Deduction normalization theorem for Sette's logic and its modifications, 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