We provide a natural formulation of the sequent calculus with equality and establish the cut elimination theorem. We also briefly comment on its applications to the logic of partial terms, when "existence" is formulated as equality with a (bound) variable
Cut Elimination for Gentzen's Sequent Calculus with Equality and Logic of Partial Terms
PARLAMENTO, Franco;
2013-01-01
Abstract
We provide a natural formulation of the sequent calculus with equality and establish the cut elimination theorem. We also briefly comment on its applications to the logic of partial terms, when "existence" is formulated as equality with a (bound) variableFile in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
