Two normalizations for naturald deductions in sequent style

MaRDI QIDQ5869659zbMATH OpenFDO

Authors Mirjana Borisavljević

Publication date 28 September 2022

zbMATH Keywords

cut eliminationnatural deductionnormalizationsequent systems

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Normal derivations and sequent derivations
• Ultimate Normal Forms for Parallelized Natural Deductions
• Extended Natural Deduction Images of Conversions from the System of Sequents
• Normal derivability in classical natural deduction
• The normalization theorem for extended natural deduction

Cited in

(5)

• Normal derivations and sequent derivations
• Semantic values for natural deduction derivations
• Ultimate Normal Forms for Parallelized Natural Deductions
• 2-Sequent Calculus: Intuitionism and Natural Deduction
• scientific article; zbMATH DE number 1405618 (Why is no real title available?)

This page was built for publication: Two normalizations for naturald deductions in sequent style

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5869659)