The Cut Elimination and the Nonlengthening Property for the Sequent Calculus with Equality
From MaRDI portal
Publication:6286147
arXiv1705.00693MaRDI QIDQ6286147FDOQ6286147
Authors: Franco Parlamento, Flavio Previale 
Publication date: 1 May 2017
Abstract: We show how Leibnitz.s indiscernibility principle and Gentzen's original work lead to extensions of the sequent calculus to first order logic with equality and investigate the cut elimination property. Furthermore we discuss and improve the nonlengthening property of Lifshitz and Orevkov.
This page was built for publication: The Cut Elimination and the Nonlengthening Property for the Sequent Calculus with Equality
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6286147)
