[1] H. Albuquerque, J. M. Font and R. Jansana, Compatibility Operators
in Abstract Algebraic Logic, preprint
[2] M. Barr and C. Wells, Category Theory for Computing Science, Third
Edition, Les Publications CRM, Montréal, 1999.
[3] W. J. Blok and D. Pigozzi, Protoalgebraic logics, Studia Logica 45
(1986), 337-369.
[4] W. J. Blok and D. Pigozzi, Algebraizable logics, Memoirs of the
American Mathematical Society 77 (1989), 396
[5] F. Borceux, Handbook of Categorical Algebra, Vol. I, Encyclopedia
of Mathematics and its Applications, Cambridge University Press,
1994.
[6] D. J. Brown and R. Suszko, Abstract logics, Dissertationes
Mathematicae 102 (1973), 9-42.
[7] J. Czelakowski, Equivalential logics I, II’, Studia Logica 40
(1981), 227-236; 355-372.
[8] J. Czelakowski, Protoalgebraic Logics, Studia Logica Library 10,
Kluwer, Dordrecht, 2001.
[9] R. Diaconescu, Institution-Independent Model Theory, Studies in
Universal Logic, Birkhäuser, Berlin, 2008.
[10] J. Fiadeiro and A. Sernadas, Structuring Theories on Consequence,
in Recent Trends in Data Type Specification, Donald Sannella and
Andrzej Tarlecki, Eds., Lecture Notes in Computer Science 332 (1988),
44-72.
[11] J. M. Font and R. Jansana, A General Algebraic Semantics for
Sentential Logics, Lecture Notes in Logic, Vol. 7 (1996),
Springer-Verlag, Berlin Heidelberg, 1996.
[12] J. M. Font, R. Jansana and D. Pigozzi, A survey of abstract
algebraic logic, Studia Logica 74 (2003), 13-97.
[13] N. Galatos and C. Tsinakis, Equivalence of closure operators: an
order-theoretic and categorical perspective, The Journal of Symbolic
Logic 74 (2009), 780-810.
[14] N. Galatos and J. Gil-Férez, Modules over quantaloids:
Applications to the isomorphism problem in algebraic logic and
to appear in the Journal of Pure and
Applied Algebra.
[15] J. Gil-Férez, Multi-term and their equivalence, Mathematical Logic
Quarterly 52 (2006), 505-526.
[16] J. A. Goguen and R. M. Burstall, Introducing Institutions, in
Proceedings of the Logic of Programming Workshop, E. Clarke and D.
Kozen, Eds., Lecture Notes in Computer Science 164 (1984), 221-256.
[17] J. A. Goguen and R. M. Burstall, Institutions: Abstract model
theory for specification and programming, Journal of the Association
for Computing Machinery 39(1992), 95-146.
[18] J. A. Goguen and R. Diaconescu, An introduction to category-based
equational logic, AMAST 1995, Lecture Notes in Computer Science 936
(1995), 91-126.
[19] J. Goguen and G. Rosu, Institution morphisms, Formal Aspects of
Computing 13 (2002), 274-307.
[20] S. Mac Lane, Category Theory for the Working Mathematician,
Springer-Verlag, New York, 1971.
[21] G. Voutsadakis, Categorical abstract algebraic logic: Equivalent
institutions, Studia Logica 74 (2003), 275-311.
[22] G. Voutsadakis, Categorical abstract algebraic logic:
Algebraizable institutions, Applied Categorical Structures 10 (2002),
531-568.
[23] R. Wójcicki, Matrix approach in the methodology of sentential
calculi, Studia Logica 32 (1973), 7-37.