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

DOI10.1007/s11225-010-9275-1zbMath1208.03054OpenAlexW2021037844MaRDI QIDQ708929

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

normalizationnatural deductionPierce's rule

Mathematics Subject Classification ID

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

Related Items

Peirce's Rule in a Full Natural Deduction System, How many times do we need an assumption to prove a tautology in minimal logic? Examples on the compression power of classical reasoning, On Constructive Fragments of Classical Logic, Single-assumption systems in proof-theoretic semantics, An alternative normalization of the implicative fragment of classical logic

Cites Work

• Unnamed Item
• Normalization and excluded middle. I
• Peirce's rule in natural deduction.
• On the proof theory of the intermediate logic MH
• On cut elimination in the presence of perice rule