1. Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: partial meet contraction and revision functions. J. Symb. 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, frontiers of paraconsistent 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, UK (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)