Equality in the Presence of Apartness: An Application of Structural Proof Analysis to Intuitionistic Axiomatics
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.
Gespeichert in:
| Veröffentlicht in: | Philosophia scientiae 2006-09, Vol.6, p.61-79 |
|---|---|
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | eng ; ger |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | 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. |
|---|---|
| ISSN: | 1281-2463 1775-4283 |
| DOI: | 10.4000/philosophiascientiae.408 |