THE ELIMINATION OF ATOMIC CUTS AND THE SEMISHORTENING PROPERTY FOR GENTZEN’S SEQUENT CALCULUS WITH EQUALITY

DOI10.1017/S175502031900039XzbMath1487.03064OpenAlexW2967984582WikidataQ127375077 ScholiaQ127375077MaRDI QIDQ5027662

Flavio Previale, Franco Parlamento

Publication date: 7 February 2022

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s175502031900039x

zbMATH Keywords

cut eliminationsequent calculusequality rules

Mathematics Subject Classification ID

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

Related Items

A NOTE ON THE SEQUENT CALCULI, A novel approach to equality

Uses Software

• Pesca

Cites Work

• Methods of cut-elimination
• Proof theory. 2nd ed
• Untersuchungen über das logische Schliessen. II
• Cut Elimination for Gentzen’s Sequent Calculus with Equality and Logic of Partial Terms
• Cut Elimination in the Presence of Axioms
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item