References

CATEGORICAL ABSTRACT ALGEBRAIC LOGIC: TARSKI CONGRUENCE SYSTEMS, LOGICAL MORPHISMS AND LOGICAL QUOTIENTS


[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.