Abstract
The framework developed by Blok and Pigozzi for the algebraizability of deductive systems is extended to cover the algebraizability of multisignature logics with quantifiers. Institutions are used as the supporting structure in place of deductive systems. In particular, the concept of an algebraic institution and that of an algebraizable institution are made precise using the theory of monads from categorical algebra and the notion of equivalence of institutions introduced by Voutsadakis. Several examples of algebraic and algebraizable institutions are provided.
Similar content being viewed by others
References
Barbour, G. and Raftery, J.: Unifying algebraizability and full congruence regularity (Abstract), Workshop on Abstract Algebraic Logic, Centre de Recerca Matemàtica, Quaderns, Núm. 10/Gener, 1998.
Barr, M. and Wells, C.: Toposes, Triples and Theories, Springer-Verlag, New York, 1985.
Blok, W. J. and Pigozzi, D.: Protoalgebraic logics, Studia Logica 45 (1986), 337-369.
Blok, W. J. and Pigozzi, D.: Algebraizable logics, Mem. Amer. Math. Soc. 77(396) (1989).
Blok, W. J. and Pigozzi, D.: Algebraic semantics for universal Horn logic without equality, in A. Romanowska and J. D. H. Smith (eds.), Universal Algebra and Quasigroup Theory, Heldermann Verlag, Berlin, 1992.
Blok, W. J. and Pigozzi, D.: Abstract algebraic logic and the deduction theorem, Bull. Symbolic Logic, to appear.
Cirulis, J.: An algebraization of first-order logic with terms, in H. Andréka, J. D. Monk and I. Németi (eds.), Algebraic Logic (Proc. Conf. Budapest, 1988), Colloq. Math. Soc. J. Bolyai, North-Holland, Amsterdam, 1991, pp. 125-146.
Czelakowski, J.: Equivalential logics I, II, Studia Logica 40 (1981), 227-236, 355-372.
Czelakowski, J. and Pigozzi, D.: Amalgamation and interpolation in abstract algebraic logic. Models, algebras and proofs, in Lecture Notes in Pure Appl. Math. 203, Dekker, New York, 1999, pp. 187-265.
Feldman, N.: Axiomatization of polynomial substitution algebras, J. Symbolic Logic 47 (1982), 481-492.
Fiadeiro, J. and Sernadas, A.: Structuring theories on consequence, in D. Sannella and A. Tarlecki (eds.), Recent Trends in Data Type Specification, Lecture Notes in Comput. Sci. 332, Springer-Verlag, New York, 1988, pp. 44-72.
Font, J. M. and Jansana, R.: A General Algebraic Semantics for Sentential Logics, Lecture Notes in Logic 7, Springer-Verlag, Berlin, 1996.
Goguen, J. A. and Burstall, R. M.: Institutions: Abstract model theory for specification and programming, J. Assoc. Comput. Mach. 39(1) (1992), 95-146.
Henkin, L., Monk, J. D. and Tarski, A.: Cylindric Algebras Part I, North-Holland, Amsterdam, 1971.
Herrmann, B.: Equivalential logics and definability of truth, Dissertation, Freie Universität Berlin, Berlin, 1993.
Herrmann, B.: Equivalential and algebraizable logics, Studia Logica 57 (1996), 419-436.
Herrmann, B.: Characterizing equivalential and algebraizable logics by the Leibniz operator, Studia Logica 58 (1997), 305-323.
Mac Lane, S.: Category Theory for the Working Mathematician, Springer-Verlag, New York, 1971.
Manes, E. G.: Algebraic Theories, Springer-Verlag, New York, 1976.
Pynko, A. P.: Definitional equivalence and algebraizability of generalized logical systems, Ann. Pure Appl. Logic 98 (1999), 1-68.
Voutsadakis, G.: Categorical abstract algebraic logic, Doctoral Dissertation, Iowa State University, Ames, IA, 1998.
Voutsadakis, G.: Categorical abstract algebraic logic: Equivalent institutions, Studia Logica, to appear.
Voutsadakis, G.: Algebraizing the equational institution, Preprint.
Voutsadakis, G.: Algebraizing the institution of first-order logic without terms, Preprint.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Voutsadakis, G. Categorical Abstract Algebraic Logic: Algebraizable Institutions. Applied Categorical Structures 10, 531–568 (2002). https://doi.org/10.1023/A:1020990419514
Issue Date:
DOI: https://doi.org/10.1023/A:1020990419514
- algebraic logic
- equivalent deductive systems
- algebraizable logics
- institutions
- equivalent institutions
- algebraic theories
- monads
- triples
- adjunctions
- algebraic institutions
- equivalent categories
- algebraizable institutions
- equational logic
- clone algebras
- substitution algebras
- first-order logic
- cylindric algebras
- polyadic algebras
- diagram-based logics