SUBSTITUTION IN RELEVANT LOGICS (Q5117597)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: SUBSTITUTION IN RELEVANT LOGICS |
scientific article; zbMATH DE number 7239861
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.7644421
0 references
0.7633885
0 references
0 references
0.7418513
0 references
0.74075514
0 references
0.7395809
0 references
0.7366789
0 references
0.7296548
0 references
