Abstract
Given a lattice
Get full access to this article
View all access options for this article.
References
1.
Belnap
N.
, How a computer should think . In
Ryle
G.
(edt.), Contemporary Aspects of Philosophy , 1977 a , pp. 30 –56 . Oriel Press , 1977 .
2.
Belnap
N.
, A useful four-valued logic . In
Dunn
J.M.
and
Epstein
G.
(eds.), Modern Uses of Multiple-valued Logic , 1977 b , pp. 8 –37 . D. Reidel .
3.
Bergstra
J.A.
and
Ponse
A.
, Kleene’s three-valued logic and process algebra , Information Processing Letters 67 (2 ) (1998 ), 95 –103 .
4.
Bergstra
J.A.
and
Ponse
A.
, Process algebra with four-valued logic , Journal of Applied Non-Classical Logics 10 (1 ) (2000 ), 27 –53 .
5.
Font
J.M.
, Belnap’s four-valued logic and De Morgan lattices , Logic Journal of the I.G.P.L. 5 (3 ) (1997 ), 413 –440 .
6.
Gottwald
S.
, A Treatise on Many-Valued Logics (Studies in Logic and Computation, vol. 9) , Baldock : Research Studies Press Ltd ., 2001 .
7.
Li
W.
, Mathematical Logic, Foundations for Information Science , Progress in Computer Science and Applied Logic , vol. 25 , Birkhäuser .
8.
Novák
V.
, A formal theory of intermediate quantifiers , Fuzzy Sets and Systems 159 (2008 ), 1229 –1246 .
9.
Ponse
A.
and
van der Zwaag
M.B.
, A generalization of ACP using Belnap’s logic , Electronic Notes in Theoretical Computer Science 162 (2006 ), 287 –293 .
10.
Pynko
A.
, On Priest’s logic of paradox , Journal of Applied Non-Classical Logics 5 (2 ) (1995 a ), 219 –225 .
11.
Pynko
A.P.
, Characterizing Belnap’s logic via De Morgan’s laws , Mathematical Logic Quarterly 41 (4 ) (1995 b ), 442 –454 .
12.
Pynko
A.P.
, Implicational classes of De Morgan lattices , Discrete Math 205 (1-3 ) (1999 ), 171 –181 .
13.
Rodrigues
O.
and
Russo
A.
, A translation method for Belnap logic. Imperial College RR DoC98-7 , 1998 .