A binary Routley semantics for intuitionistic De Morgan minimal logic HM and its extensions (Q4644508)
From MaRDI portal
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
