A binary Routley semantics for intuitionistic De Morgan minimal logic HM and its extensions (Q4644508)
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: A binary Routley semantics for intuitionistic De Morgan minimal logic HM and its extensions |
scientific article; zbMATH DE number 6997904
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A binary Routley semantics for intuitionistic De Morgan minimal logic HM and its extensions |
scientific article; zbMATH DE number 6997904 |
Statements
A binary Routley semantics for intuitionistic De Morgan minimal logic HM and its extensions (English)
0 references
8 January 2019
0 references
binary Routley semantics
0 references
Routley operator
0 references
De Morgan logics
0 references
intuitionistic De Morgan logics
0 references
intermediate logics
0 references
0.86941963
0 references
0.86774635
0 references
0.86435825
0 references
0.85994846
0 references
0.85862845
0 references
0.8570155
0 references
0.8558672
0 references
0.85544896
0 references
