1. Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: partial meet contraction and revision functions. J. Symbolic Logic 50, 510–530 (1985)
2. Arieli, O., Avron, A.: Reasoning with logical bilattices. J. Logic Lang. Inform. 5, 25–63 (1996)
3. Arieli, O., Avron, A.: Bilattices and paraconsistency. Front. Paraconsist. Logic, Stud. Logic Comput. 8, 11–27 (2000)
4. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation Applications. Cambridge University Press, Cambridge (2003)
5. 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 (1977)