Skip to navigation – Site map

HomeCahiers 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 and Sara Negri
p. 61-79

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.

Top of page

References

Bibliographical reference

Bianca Boretti and Sara Negri, Equality in the Presence of Apartness: An Application of Structural Proof Analysis to Intuitionistic AxiomaticsPhilosophia Scientiæ, CS 6 | 2006, 61-79.

Electronic reference

Bianca Boretti and Sara Negri, Equality in the Presence of Apartness: An Application of Structural Proof Analysis to Intuitionistic AxiomaticsPhilosophia Scientiæ [Online], CS 6 | 2006, Online since 01 September 2009, connection on 19 March 2024. URL: http://journals.openedition.org/philosophiascientiae/408; DOI: https://doi.org/10.4000/philosophiascientiae.408

Top of page

About the authors

Bianca Boretti

University of Milan

Sara Negri

University of Helsinki

Top of page

Copyright

The text and other elements (illustrations, imported files) are “All rights reserved”, unless otherwise stated.

Top of page
Search OpenEdition Search

You will be redirected to OpenEdition Search