Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions (Q4443421)
From MaRDI portal
scientific article; zbMATH DE number 2024842
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions |
scientific article; zbMATH DE number 2024842 |
Statements
Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions (English)
0 references
13 January 2004
0 references
De Morgan lattice
0 references
bilattice
0 references
four-valued logics
0 references
equational axiomatizations
0 references
algebraizable sequential consequence operations
0 references
sequential axiomatizations
0 references
