Equality in the Presence of Apartness: An Application of Structural Proof Analysis to Intuitionistic Axiomatics
Résumé
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.
Pour citer cet article
Référence papier
Bianca Boretti et Sara Negri, « Equality in the Presence of Apartness: An Application of Structural Proof Analysis to Intuitionistic Axiomatics », Philosophia Scientiæ, CS 6 | 2006, 61-79.
Référence électronique
Bianca Boretti et Sara Negri, « Equality in the Presence of Apartness: An Application of Structural Proof Analysis to Intuitionistic Axiomatics », Philosophia Scientiæ [En ligne], CS 6 | 2006, mis en ligne le 01 septembre 2009, consulté le 19 mars 2024. URL : http://journals.openedition.org/philosophiascientiae/408 ; DOI : https://doi.org/10.4000/philosophiascientiae.408
Haut de pageDroits d’auteur
Le texte et les autres éléments (illustrations, fichiers annexes importés), sont « Tous droits réservés », sauf mention contraire.
Haut de page