Maximum segments as natural deduction images of some cuts

DOI10.1007/s11787-022-00309-5OpenAlexW4292767243WikidataQ114221729 ScholiaQ114221729MaRDI QIDQ2084573

Mirjana Borisavljević

Publication date: 18 October 2022

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

Full work available at URL: https://doi.org/10.1007/s11787-022-00309-5

zbMATH Keywords

normalizationnatural deductioncutssequent systems

Mathematics Subject Classification ID

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

Related Items (1)

The elimination of maximum cuts in linear logic and BCK logic

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A connection between cut elimination and normalization
• Normal derivations and sequent derivations
• The undecidability of \(k\)-provability
• A SEQUENT CALCULUS ISOMORPHIC TO GENTZEN’S NATURAL DEDUCTION
• Gentzen's Proof of Normalization for Natural Deduction
• Normalization as a consequence of cut elimination
• The correspondence between cut-elimination and normalization
• Normalization as a homomorphic image of cut-elimination
• Sequent calculus in natural deduction style
• Translations from natural deduction to sequent calculus
• AN ANALYSIS OF THE RULES OF GENTZEN’SNJANDLJ
• The subformula property of natural deduction derivations and analytic cuts
• Cut Elimination, Substitution and Normalisation
• Revisiting Zucker’s Work on the Correspondence Between Cut-Elimination and Normalisation

This page was built for publication: Maximum segments as natural deduction images of some cuts