A basic quasi-Boolean logic of intuitionistic character (Q4994021)
From MaRDI portal
scientific article; zbMATH DE number 7357946
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A basic quasi-Boolean logic of intuitionistic character |
scientific article; zbMATH DE number 7357946 |
Statements
A basic quasi-Boolean logic of intuitionistic character (English)
0 references
11 June 2021
0 references
De Morgan logics
0 references
quasi-Boolean logics
0 references
paraintuitionistic logics
0 references
superintuitionistic logics
0 references
Routley-Meyer ternary relational semantics
0 references
0 references
0 references
