A new normalization strategy for the implicational fragment of classical propositional logic (Q708929)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A new normalization strategy for the implicational fragment of classical propositional logic |
scientific article; zbMATH DE number 5800414
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A new normalization strategy for the implicational fragment of classical propositional logic |
scientific article; zbMATH DE number 5800414 |
Statements
A new normalization strategy for the implicational fragment of classical propositional logic (English)
0 references
15 October 2010
0 references
This paper gives a normalization theorem for the implicational fragment of classical logic in natural deduction, augmented by Pierce's Law \(((A\rightarrow B)\rightarrow A)\rightarrow A\) (the addition of Pierce's law is needed, since the purely implicational fragment of natural deduction is not complete). The normalization strategy in this paper is based on the method used by Seldin.
0 references
natural deduction
0 references
Pierce's rule
0 references
normalization
0 references
