1. Blyth, T.S., Lattices and Ordered Algebraic Structures, Springer, New York, 2005.
2. Carnap, R., Formalization of Logic, Harvard University Press, Cambridge, 1943.
3. Czelakowski, J., and G. Malinowski, Key notions of Tarski’s methodology of deductive systems, Studia Logica 44:321–351, 1985.
4. Denecke, K., M. Erné, and S.L. Wismath (eds.), Galois Connections and Applications, Kluwer, Alphen aan den Rijn, 2004.
5. Domenach, F., and B. Leclerc, Biclosed binary relations and Galois connections, Order 18:89–104, 2001.