A new normalization strategy for the implicational fragment of classical propositional logic (Q708929): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s11225-010-9275-1 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2021037844 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On cut elimination in the presence of perice rule / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5559220 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the proof theory of the intermediate logic MH / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Normalization and excluded middle. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Peirce's rule in natural deduction. / rank | |||
Normal rank |
Latest revision as of 08:48, 3 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A new normalization strategy for the implicational fragment of classical propositional logic |
scientific article |
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