Translator Disclaimer
2002 Logics of Relative Identity
Paweł Garbacz
Notre Dame J. Formal Logic 43(1): 27-50 (2002). DOI: 10.1305/ndjfl/1071505768

Abstract

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.

Citation

Download Citation

Paweł Garbacz. "Logics of Relative Identity." Notre Dame J. Formal Logic 43 (1) 27 - 50, 2002. https://doi.org/10.1305/ndjfl/1071505768

Information

Published: 2002
First available in Project Euclid: 15 December 2003

zbMATH: 1054.03023
MathSciNet: MR2033314
Digital Object Identifier: 10.1305/ndjfl/1071505768

Subjects:
Primary: 03B60
Secondary: 03B80

Rights: Copyright © 2002 University of Notre Dame

JOURNAL ARTICLE
24 PAGES


SHARE
Vol.43 • No. 1 • 2002
Back to Top