The theories of apartness, equality, and n-stable equality are presented through contraction- and cut-free sequent calculi. By methods of proof analysis, a purely proof-theoretic characterization of the equality fragment of apartness is obtained.
Equality in the presence of apartness : an application of structural proof analysis to intuitionistic axiomatics / B. Boretti, S. Negri. - In: Philosophia scientiae. Cahier spécial. - ISSN 1633-9444. - 6(2006), pp. 61-79.
Equality in the presence of apartness : an application of structural proof analysis to intuitionistic axiomatics
B. BorettiPrimo
;
2006
Abstract
The theories of apartness, equality, and n-stable equality are presented through contraction- and cut-free sequent calculi. By methods of proof analysis, a purely proof-theoretic characterization of the equality fragment of apartness is obtained.File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.