Navigation – Plan du site

AccueilCahiers spéciauxCS 6Equality in the Presence of Apart...

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 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 page

Auteurs

Bianca Boretti

University of Milan

Sara Negri

University of Helsinki

Haut de page

Droits 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
Rechercher dans OpenEdition Search

Vous allez être redirigé vers OpenEdition Search