Navigation – Plan du site

Equality in the Presence of Apartness: An Application of Structural Proof Analysis to Intuitionistic Axiomatics

Bianca Boretti et Sara Negri
p. 61-79

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.

Haut de page

Pour citer cet article

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 24 novembre 2017. URL : http://philosophiascientiae.revues.org/408 ; DOI : 10.4000/philosophiascientiae.408

Haut de page

Auteurs

Bianca Boretti

University of Milan

Sara Negri

University of Helsinki

Haut de page

Droits d’auteur

Tous droits réservés

Haut de page