The Cut Elimination and the Nonlengthening Property for the Sequent Calculus with Equality
Logic
2017-05-03 v1 Logic in Computer Science
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.
Keywords
Cite
@article{arxiv.1705.00693,
title = {The Cut Elimination and the Nonlengthening Property for the Sequent Calculus with Equality},
author = {Franco Parlamento and Flavio Previale},
journal= {arXiv preprint arXiv:1705.00693},
year = {2017}
}
Comments
30 pages Presented to Logic Colloquium 2016 (Leeds)