Logics of relative identity (Q1430993)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Logics of relative identity |
scientific article |
Statements
Logics of relative identity (English)
0 references
27 May 2004
0 references
The author defines nine monadic logics of relative identity (``\dots is the same\dots as\dots'') and compares them with existing formalizations.
0 references
identity
0 references
sameness
0 references
general similarity
0 references
sequent calculi
0 references
