A new normalization strategy for the implicational fragment of classical propositional logic

DOI10.1007/S11225-010-9275-1MaRDI QIDQ708929zbMATH OpenOpenAlexFDO

Authors D. Kharzeev

Publication date 15 October 2010

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-010-9275-1

zbMATH Keywords

natural deductionnormalizationPierce's rule

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• An alternative normalization of the implicative fragment of classical logic
• Peirce's rule in natural deduction.
• Peirce's rule in a full natural deduction system
• Normalization and excluded middle. I
• Normal derivability in classical natural deduction

Cites work

• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• Normalization and excluded middle. I
• On cut elimination in the presence of perice rule
• On the proof theory of the intermediate logic MH
• Peirce's rule in natural deduction.

Cited in

(8)

• An alternative normalization of the implicative fragment of classical logic
• On constructive fragments of classical logic
• Normalization and excluded middle. I
• Single-assumption systems in proof-theoretic semantics
• Peirce's rule in natural deduction.
• How many times do we need an assumption to prove a tautology in minimal logic? Examples on the compression power of classical reasoning
• Peirce's rule in a full natural deduction system
• Embedding classical in minimal implicational logic

This page was built for publication: A new normalization strategy for the implicational fragment of classical propositional logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q708929)