|
Volumn 9, Issue 1, 1999, Pages 61-105
|
Functional completeness and axiomatizability within belnap's four- valued logic and its expansions
|
Author keywords
Algebraizable sequential consequence; Belnap's four valued logic; Boolean algebra; De Morgan lattice; Distributive bilattice with negation; Equational consequence; Equivalent quasivariety; Functionally complete logic; Implicative De Morgan lattice; Polynomial operation; Sequential consequence
|
Indexed keywords
|
EID: 0001813335
PISSN: 11663081
EISSN: 19585780
Source Type: Journal
DOI: 10.1080/11663081.1999.10510958 Document Type: Article |
Times cited : (49)
|
References (16)
|