Normal derivations and sequent derivations

DOI10.1007/s10992-008-9084-4zbMath1207.03070OpenAlexW2047037379MaRDI QIDQ1029828

Mirjana Borisavljevi

Publication date: 13 July 2009

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-008-9084-4

zbMATH Keywords

cut eliminationnormalization

Mathematics Subject Classification ID

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

Related Items (2)

The elimination of maximum cuts in linear logic and BCK logic ⋮ Maximum segments as natural deduction images of some cuts

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A connection between cut elimination and normalization
• Natural deduction with general elimination rules
• The correspondence between cut-elimination and normalization
• Normalization as a homomorphic image of cut-elimination
• Extended Natural Deduction Images of Conversions from the System of Sequents
• Minimum segments in sequent derivations

This page was built for publication: Normal derivations and sequent derivations