Abstract.
An algebraization of multi-signature first-order logic without terms is presented. Rather than following the traditional method of choosing a type of algebras and constructing an appropriate variety, as is done in the case of cylindric and polyadic algebras, a new categorical algebraization method is used: The substitutions of formulas of one signature for relation symbols in another are treated in the object language. This enables the automatic generation via an adjunction of an algebraic theory. The algebras of this theory are then used to algebraize first-order logic.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Barr, M., Wells, C.: Category Theory for Computing Science, Third Edition, Les Publications CRM, Montréal, 1999
Blok, W.J., Pigozzi, D.: Protoalgebraic Logics. Studia Logica 45, 337–369 (1986)
Blok, W.J., Pigozzi, D.: Algebraizable Logics. Memoirs Am. Math. Soc. 77(396) (1989)
Cirulis, J.: An Algebraization of First-Order Logic With Terms. In: H. Andréka, J.D. Monk, 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, 227–236, 355–372 (1981)
Feldman, N.: Axiomatization of Polynomial Substitution Algebras. J. Symbolic Logic 47, 481–492 (1982)
Fiadeiro, J., Sernadas, A.: Structuring Theories on Consequence. In: D. Sannella, A. Tarlecki (eds.), Recent Trends in Data Type Specification, Lecture Notes in Computer Science, Vol. 332, Springer-Verlag, New York 1988, pp. 44–72
Goguen, J.A., Burstall, R.M.: Introducing Institutions. In: E. Clarke, D. Kozen (eds.), Proceedings of the Logic of Programming Workshop, Lecture Notes in Computer Science, Vol. 164, Springer-Verlag, New York, 1984, pp. 221–256
Goguen, J.A., Burstall, R.M.: Institutions: Abstract Model Theory for Specification and Programming. J. Asso. Comput. Mach. 39(1) (1992) pp. 95–146
Halmos, P.R.: Algebraic Logic, Chelsea Publishing Company, New York, 1962
Henkin, L., Monk, J.D., Tarski, A.: Cylindric Algebras. Part I. Studies in Logic and the Foundations of Mathematics, 64, North-Holland, Amsterdam, 1985
Henkin, L., Monk, J.D., Tarski, A.: Cylindric Algebras. Part II. Studies in Logic and the Foundations of Mathematics, 115, North-Holland, Amsterdam, 1985
Mac Lane, S.: Categories for the Working Mathematician, Springer-Verlag, New York 1971
Manes, E.G.: Algebraic Theories, Springer-Verlag, New York 1976
Voutsadakis, G.: Categorical abstract algebraic logic. Doctoral Dissertation, Iowa State University, Ames, Iowa, 1998
Voutsadakis, G.: Categorical Abstract Algebraic Logic: Equivalent Institutions, Studia Logica 74(1/2), 275–311 (2003)
Voutsadakis, G.: Categorical Abstract Algebraic Logic: Algebraizable Institutions, Applied Categorical Structures, 10(6), 531–568 (2002)
Voutsadakis, G.: Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic. To appear in the Logic Journal of the IGPL
Voutsadakis, G.: A Categorical Construction of a Variety of Clone Algebras. Scientiae Mathematicae Japonicae 8, 215–225 (2003)
Voutsadakis, G.: On the Categorical Algebras of First-Order Logic. Scientiae Mathematicae Japonicae 10(16) (2004)
Author information
Authors and Affiliations
Additional information
Partially supported by National Science Foundation grant CCR - 9593168
Rights and permissions
About this article
Cite this article
Voutsadakis, G. Categorical abstract algebraic logic categorical algebraization of first-order logic without terms. Arch. Math. Logic 44, 473–491 (2005). https://doi.org/10.1007/s00153-004-0266-7
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-004-0266-7