Cut Elimination for Gentzen’s Sequent Calculus with Equality and Logic of Partial Terms

DOI10.1007/978-3-642-36039-8_15zbMath1303.03087OpenAlexW1819006997MaRDI QIDQ2936239

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 eliminationsequent calculusequality

Mathematics Subject Classification ID

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

Related Items (1)

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

This page was built for publication: Cut Elimination for Gentzen’s Sequent Calculus with Equality and Logic of Partial Terms