Cut elimination for Gentzen's sequent calculus with equality and logic of partial terms

DOI10.1007/978-3-642-36039-8_15MaRDI QIDQ2936239zbMATH OpenOpenAlexFDO

Authors Flavio Previale, Franco Parlamento

Publication date 6 January 2015

Published in Logic and Its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-36039-8_15

zbMATH Keywords

cut eliminationequalitysequent calculus

Mathematics Subject Classification ID

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

Recommendations

• The elimination of atomic cuts and the semishortening property for Gentzen's sequent calculus with equality
• Gentzen's cut-free calculus versus the logic of paradox
• Cut Elimination in the Presence of Axioms
• Cut Elimination in ε‐Calculi
• Term sequent logic

Cited in

(16)

• Term sequent logic
• Typed Lambda Calculi and Applications
• scientific article; zbMATH DE number 1948175 (Why is no real title available?)
• A novel approach to equality
• Indexed systems of sequents and cut-elimination
• Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus
• Gentzen's second consistency proof and strong cut-elimination
• Cut-elimination for a logic with definitions and induction
• Cut elimination for a calculus with context-dependent rules
• A cut elimination theorem for stationary logic
• scientific article; zbMATH DE number 1823879 (Why is no real title available?)
• The elimination of atomic cuts and the semishortening property for Gentzen's sequent calculus with equality
• scientific article; zbMATH DE number 2109539 (Why is no real title available?)
• Cut Elimination in ε‐Calculi
• Restricting Initial Sequents: The Trade-Offs Between Identity, Contraction and Cut
• A sequent calculus with implicit term representation

This page was built for publication: Cut elimination for Gentzen's sequent calculus with equality and logic of partial terms

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