Abstract
We provide a natural formulation of the sequent calculus with equality and establish the cut elimination theorem. We also briefly outline and comment on its application to the logic of partial terms, when "existence" is formulated as equality with a (bound) variable. © 2013 Springer-Verlag Berlin Heidelberg.
Author supplied keywords
Cite
CITATION STYLE
APA
Parlamento, F., & Previale, F. (2013). Cut elimination for gentzen’s sequent calculus with equality and logic of partial terms. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7750 LNCS, pp. 161–172). Springer Verlag. https://doi.org/10.1007/978-3-642-36039-8_15
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free