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

DOI10.1007/978-3-642-36039-8_15zbMATH Open1303.03087OpenAlexW1819006997MaRDI QIDQ2936239FDOQ2936239

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

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

zbMATH Keywords

cut eliminationequalitysequent calculus

Mathematics Subject Classification ID

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

Cited In (15)

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

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)