Notre Dame Journal of Formal Logic
- Notre Dame J. Formal Logic
- Volume 43, Number 1 (2002), 27-50.
Logics of Relative Identity
This paper is the first part of an exploration into the logical properties of relative identity. After providing the semantic grounds for various monadic logics of relative identity, I define the minimal system and its nine extensions. It is suggested that despite their purely formal origin at least some of them may contain nontrivial philosophical insights. All logics are axiomatized by means of sound and complete sequent calculi. I show their affinities with existing formalizations.
Notre Dame J. Formal Logic Volume 43, Number 1 (2002), 27-50.
First available in Project Euclid: 15 December 2003
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Garbacz, Paweł. Logics of Relative Identity. Notre Dame J. Formal Logic 43 (2002), no. 1, 27--50. doi:10.1305/ndjfl/1071505768. https://projecteuclid.org/euclid.ndjfl/1071505768