Publisher
Springer Nature Singapore
Reference13 articles.
1. Arieli, O., Avron, A.J.: Reasoning with logical bilattices. Logic Lang. Inf. 5, 25–63 (1996)
2. Arieli, O., Avron, A.: Bilattices and paraconsistency. Front. Paraconsistent Logic Stud. Logic Comput. 8, 11–27 (2000)
3. Belnap, N.: A useful four-valued logic. In: Dunn, J.M., Epstein, G. (Eds.) Modern Uses of Multiple-valued Logic, pp. 8–37. D. Reidel (1997)
4. Bergstra, J.A., Ponse, A.: Process algebra with four-valued logic. J. Appl. Non-Class. Logics 10, 27–53 (2000)
5. Font, J.M.: Belnap’s four-valued logic and De Morgan lattices. Logic J. I.G.P.L. 5, 413–440 (1997)