1. Anderson, A.R., Belnap Jr., N.D.: Entailment: The logic of relevance and necessity, vol. 1. Princeton University Press, Princeton (1975)
2. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The description logic handbook: Theory, implementation and applications. Cambridge University Press, Cambridge (2003)
3. Nelson, D.: Constructible falsity. Journal of Symbolic Logic 14, 16–26 (1949)
4. Ganter, B., Wille, R.: Formal concept analysis: Mathematical foundations. Springer, Heidelberg (1999)
5. Davey, B.A., Priestley, H.A.: Introduction to lattice and order, 2nd edn. Cambridge University Press, Cambridge (2002)