SUBSTITUTION IN RELEVANT LOGICS (Q5117597)
From MaRDI portal
scientific article; zbMATH DE number 7239861
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | SUBSTITUTION IN RELEVANT LOGICS |
scientific article; zbMATH DE number 7239861 |
Statements
SUBSTITUTION IN RELEVANT LOGICS (English)
0 references
26 August 2020
0 references
identity
0 references
Leibniz's law
0 references
substitution
0 references
relevant logics
0 references
tableaux system
0 references
possible world semantics
0 references
