Routely-Meyer Semantics for some weak Boolean Logics, and some Translations (Q4664019)
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: Routely-Meyer Semantics for some weak Boolean Logics, and some Translations |
scientific article; zbMATH DE number 2152446
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Routely-Meyer Semantics for some weak Boolean Logics, and some Translations |
scientific article; zbMATH DE number 2152446 |
Statements
Routely-Meyer Semantics for some weak Boolean Logics, and some Translations (English)
0 references
5 April 2005
0 references
weak Boolean negation
0 references
intuitionistic logic
0 references
Routley-Meyer semantics
0 references
relevance logic
0 references
strict implication system of S4
0 references
Dummett's logic
0 references
wB-IC
0 references
wB-LC
0 references
wB-S4
0 references
0.7655789852142334
0 references
0.7420986890792847
0 references
0.735379159450531
0 references
0.7336903810501099
0 references
0.7295195460319519
0 references
