Characterizing Belnap's Logic via De Morgan's Laws (Q4857857)
From MaRDI portal
scientific article; zbMATH DE number 824540
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Characterizing Belnap's Logic via De Morgan's Laws |
scientific article; zbMATH DE number 824540 |
Statements
Characterizing Belnap's Logic via De Morgan's Laws (English)
0 references
13 May 1996
0 references
structural consequence operation
0 references
logical matrix
0 references
De Morgan lattice
0 references
Belnap's four-valued sentential logic
0 references
Gentzen-style axiomatization
0 references
closure operator
0 references
Hilbert-style axiomatization
0 references
Priest's logic of paradox
0 references
