Equality in the Presence of Apartness: An Application of Structural Proof Analysis to Intuitionistic Axiomatics
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.
References
Bibliographical reference
Bianca Boretti and Sara Negri, “Equality in the Presence of Apartness: An Application of Structural Proof Analysis to Intuitionistic Axiomatics”, Philosophia 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 Axiomatics”, Philosophia 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 pageCopyright
The text and other elements (illustrations, imported files) are “All rights reserved”, unless otherwise stated.
Top of page