1. van Benthem, J.: Language in Action. Categories, Lambdas and Dynamic Logic. North Holland, Amsterdam (1991)
2. Bimbó, K., Dunn, J.M.: Generalized Galois Logics. Relational Semantics of Nonclassical Logical Calculi. CSLI Lecture Notes, vol. 188 (2008)
3. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)
4. Blyth, T.S.: Lattices and Ordered Algebraic Structures. Springer, London (2010)
5. Buszkowski, W.: Generative Capacity of Nonassociative Lambek Calculus. Bull. Pol. Acad. Scie. Math. 34, 507–516 (1986)