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

DOI10.1007/S11225-010-9275-1zbMATH Open1208.03054OpenAlexW2021037844MaRDI QIDQ708929FDOQ708929

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

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

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)

Cites Work

• Title not available (Why is that?)
• On the proof theory of the intermediate logic MH
• Normalization and excluded middle. I
• Peirce's rule in natural deduction.
• On cut elimination in the presence of perice rule

Cited In (8)

• Embedding classical in minimal implicational logic
• An alternative normalization of the implicative fragment of classical logic
• Normalization and excluded middle. I
• Peirce's rule in a full natural deduction system
• 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
• On constructive fragments of classical logic
• Single-assumption systems in proof-theoretic semantics

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)