Pages that link to "Item:Q1607223"
From MaRDI portal
The following pages link to Peirce's rule in natural deduction. (Q1607223):
Displaying 12 items.
- Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective) (Q288247) (← links)
- Normalization and excluded middle. I (Q583185) (← links)
- A new normalization strategy for the implicational fragment of classical propositional logic (Q708929) (← links)
- Classical logic, intuitionistic logic, and the Peirce rule (Q1203786) (← links)
- Single-assumption systems in proof-theoretic semantics (Q2079705) (← links)
- Deduction normalization theorem for Sette's logic and its modifications (Q2319976) (← links)
- An alternative normalization of the implicative fragment of classical logic (Q2352461) (← links)
- SUBFORMULA AND SEPARATION PROPERTIES IN NATURAL DEDUCTION VIA SMALL KRIPKE MODELS (Q3577741) (← links)
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 (Q3616431) (← links)
- 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02 (Q4432544) (← links)
- Normalisation for Some Quite Interesting Many-Valued Logics (Q5013635) (← links)
- Peirce's Rule in a Full Natural Deduction System (Q5170286) (← links)
