Notre Dame Journal of Formal Logic

Categorical Abstract Algebraic Logic: Models of π-Institutions

George Voutsadakis

Abstract

An important part of the theory of algebraizable sentential logics consists of studying the algebraic semantics of these logics. As developed by Czelakowski, Blok, and Pigozzi and Font and Jansana, among others, it includes studying the properties of logical matrices serving as models of deductive systems and the properties of abstract logics serving as models of sentential logics. The present paper contributes to the development of the categorical theory by abstracting some of these model theoretic aspects and results from the level of sentential logics to the level of π-institutions.

Article information

Source
Notre Dame J. Formal Logic, Volume 46, Number 4 (2005), 439-460.

Dates
First available in Project Euclid: 12 December 2005

Permanent link to this document
https://projecteuclid.org/euclid.ndjfl/1134397662

Digital Object Identifier
doi:10.1305/ndjfl/1134397662

Mathematical Reviews number (MathSciNet)
MR2183054

Zentralblatt MATH identifier
1089.03058

Subjects
Primary: 03Gxx: Algebraic logic
Secondary: 18Axx: General theory of categories and functors 68N05

Keywords
abstract algebraic logic deductive systems institutions equivalent deductive systems algebraizable deductive systems adjunctions equivalent institutions algebraizable institutions Leibniz congruence Tarski congruence algebraizable sentential logics

Citation

Voutsadakis, George. Categorical Abstract Algebraic Logic: Models of π-Institutions. Notre Dame J. Formal Logic 46 (2005), no. 4, 439--460. doi:10.1305/ndjfl/1134397662. https://projecteuclid.org/euclid.ndjfl/1134397662


Export citation

References

  • [1] Barr, M., and C. Wells, Category Theory for Computing Science, Prentice Hall International Series in Computer Science, Prentice Hall International, New York, 1990.
  • [2] Blok, W. J., and D. Pigozzi, "Protoalgebraic logics", Studia Logica, vol. 45 (1986), pp. 337--69.
  • [3] Blok, W. J., and D. Pigozzi, Algebraizable Logics, Memoirs of the American Mathematical Society, vol. 77, no. 396, 1989.
  • [4] Borceux, F., Handbook of Categorical Algebra. Vol. 1: Basic Category Theory, vol. 50 of Encyclopedia of Mathematics and Its Applications, Cambridge University Press, Cambridge, 1994.
  • [5] Cerioli, M., and J. Meseguer, "May I borrow your logic? Transporting logical structures along maps", Theoretical Computer Science, vol. 173 (1997), pp. 311--47.
  • [6] Czelakowski, J., "Equivalential logics I", Studia Logica, vol. 40 (1981), pp. 227--36.
  • [7] Czelakowski, J., "Equivalential logics II", Studia Logica, vol. 40 (1981), pp. 355--72.
  • [8] Czelakowski, J., Protoalgebraic Logics, vol. 10 of Trends in Logic-Studia Logica Library, Kluwer Academic Publishers, Dordrecht, 2001.
  • [9] Fiadeiro, J., and A. Sernadas, "Structuring theories on consequence", pp. 44--72 in Recent Trends in Data Type Specification. Specification of Abstract Data Types (Papers from the Fifth Workshop on Specification of Abstract Data Types, Gullane, 1987), edited by D. Sannella and A. Tarlecki, vol. 332 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1988.
  • [10] Font, J. M., R. Jansana, and D. Pigozzi, "A survey of abstract algebraic logic", Studia Logica, vol. 74 (2003), pp. 13--97.
  • [11] Font, J. M., and R. Jansana, A General Algebraic Semantics for Sentential Logics, vol. 7 of Lecture Notes in Logic, Springer-Verlag, Berlin, 1996.
  • [12] Goguen, J. A., and R. M. Burstall, "Introducing institutions", pp. 221--56 in Logics of Programs (Pittsburgh, 1983), edited by E. Clarke and D. Kozen, vol. 164 of Lecture Notes in Computer Science, Springer, Berlin, 1984.
  • [13] Goguen, J. A., and R. Diaconescu, "An introduction to category-based equational logic", AMAST, (1995), pp. 91--126.
  • [14] Goguen, J., and G. Rosu, "Institution morphisms.", Formal Aspects of Computing, vol. 13 (2002), pp. 274--307.
  • [15] Goguen, J. A., and R. M. Burstall, "Institutions: Abstract model theory for specification and programming", Journal of the Association for Computing Machinery, vol. 39 (1992), pp. 95--146.
  • [16] MacLane, S., Categories for the Working Mathematician, vol. 5 of Graduate Texts in Mathematics, Springer-Verlag, New York, 1971.
  • [17] Voutsadakis, G., Categorical Abstract Algebraic Logic, Ph.D. thesis, Iowa State University, Ames, 1998.
  • [18] Voutsadakis, G., "Categorical abstract algebraic logic: Generalized Tarski congruence systems", Preprint available at http://pigozzi.lssu.% edu/WWW/research/papers.html, 2004.
  • [19] Voutsadakis, G., "Categorical abstract algebraic logic: Tarski congruence systems, logical morphisms and logical quotients", Preprint available at http://pigozzi.lssu.% edu/WWW/research/papers.html, 2004.
  • [20] Voutsadakis, G., "Categorical abstract algebraic logic: Algebraizable institutions", Applied Categorical Structures, vol. 10 (2002), pp. 531--68.
  • [21] Voutsadakis, G., "Categorical abstract algebraic logic: Equivalent institutions", Studia Logica, vol. 74 (2003), pp. 275--311.
  • [22] Voutsadakis, G., "Categorical abstract algebraic logic: Categorical algebraization of equational logic", Logic Journal of the IGPL, vol. 12 (2004), pp. 313--33.
  • [23] Voutsadakis, G., "A categorical construction of a variety of clone algebras", Scientiae Mathematicae Japonicae (Special issue on set theory and algebraic model theory), vol. 59 (2004), pp. 339--49.
  • [24] Voutsadakis, G., "On the categorical algebras of first-order logic", Scientiae Mathematicae Japonicae, vol. 60 (2004), pp. 37--44.
  • [25] Voutsadakis, G., "Categorical abstract algebraic logic: Categorical algebraization of first-order logic without terms", Archive for Mathematical Logic, vol. 44 (2005), pp. 473--491.