1. Arndt, P., Freire, R.A., Luciano, O.O., Mariano, H.L.: Fibring and sheaves. In: Proceedings of IICAI-05, Special Session at the 2nd Indian International Conference on Artificial Intelligence, Pune, India, pp. 1679–1698 (2005)
2. Arndt, P., Freire, R.A., Luciano, O.O., Mariano, H.L.: On the category of algebraizable logics. CLE e-Prints 6(1), 24 (2006)
3. Arndt, P., Freire, R.A., Luciano, O.O., Mariano, H.L.: A global glance on categories in Logic. Logica Universalis 1, 3–39 (2007)
4. Adámek, J., Rosický, J.: Locally Presentable and Accessible Categories. Lecture Notes Series of the LMS 189. Cambridge University Press, Cambridge (1994)
5. Béziau, J.Y.: From consequence operator to universal logic: a survey of general abstract logic in logica universalis. In: Beziau, J.-Y. (ed.) Towards a General Theory of Logic. Birkhaeuser, Basel (2005)