Cut-elimination: syntax and semantics

DOI10.1007/S11225-014-9563-2zbMath1354.03086OpenAlexW1992495792MaRDI QIDQ2259012

Matthias Baaz, Alexander Leitsch

Publication date: 27 February 2015

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-014-9563-2

zbMATH Keywords

cut-eliminationCERESreductive methods

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

Related Items (2)

Ceres in intuitionistic logic ⋮ Extraction of expansion trees

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Methods of cut-elimination
• The number of proof lines and the size of proofs in first order logic
• Untersuchungen über das logische Schliessen. II
• Towards a clausal analysis of cut-elimination
• On the complexity of proof deskolemization
• A Machine-Oriented Logic Based on the Resolution Principle
• Proof theory
• Cut-elimination and redundancy-elimination by resolution

This page was built for publication: Cut-elimination: syntax and semantics