Abstract
A category theoretic generalization of the theory of algebraizable deductive systems of Blok and Pigozzi is developed. The theory of institutions of Goguen and Burstall is used to provide the underlying framework which replaces and generalizes the universal algebraic framework based on the notion of a deductive system. The notion of a term π-institution is introduced first. Then the notions of quasi-equivalence, strong quasi-equivalence and deductive equivalence are defined for π-institutions. Necessary and sufficient conditions are given for the quasi-equivalence and the deductive equivalence of two term π-institutions, based on the relationship between their categories of theories. The results carry over without any complications to institutions, via their associated π-institutions. The π-institution associated with a deductive system and the institution of equational logic are examined in some detail and serve to illustrate the general theory.
Similar content being viewed by others
References
AndrÉka, H., and I. NÉmeti, ‘General Algebraic Logic: A perspective on “What is logic”’, in D. Gabbay, editor, What is a Logical System?, Studies in Logic and Computation, Vol. 4, Oxford University Press, New York, 1994.
AndrÉka, H., I. NÉmeti, and I. Sain, Abstract Model Theoretic Approach to Algebraic Logic, Technical Report, 1984.
AndrÉka, H., I. NÉmeti, and I. Sain, ‘Applying Algebraic Logic to Logic’, in M. Nivat, T. Rus, and G. Scollo, (eds.), Algebraic Methodology and Software Technology: AMST'93, Workshops in Computing, Springer-Verlag, London 1993.
Blok, W., and D. Pigozzi, Algebraizable logics, vol. 77, No. 396 of Mem. Amer. Math. Soc. A.M.S., Providence, January 1989.
Blok, W.J., and D. Pigozzi, ‘Algebraic Semantics for Universal Horn Logic Without Equality’, in A. Romanowska and J. D. H. Smith, editors, Universal Algebra and Quasigroup Theory, Heldermann Verlag, Berlin 1992.
Blok, W.J., and D. Pigozzi, ‘Abstract Algebraic Logic and the Deduction Theorem’, Bulletin of Symbolic Logic, to appear.
Diskin, Z., Algebraizing Institutions: Incorporating Algebraic Logic Methodology into the Institution Framework for Building Specifications, FIS/DBDL Research Report-94-04, November 1994.
Fiadeiro, J., and A. Sernadas, ‘Structuring Theories on Consequence’, in D. Sannella and A. Tarlecki, editors, Recent Trends in Data Type Specification, Lecture Notes in Computer Science, Vol. 332, Springer-Verlag, New York 1988, pp. 44-72.
Font, J. M., and R. Jansana, ‘On the sentential logics associated with strongly nice and semi-nice general logics’, Bulletin of the I.G.P.L. 2,1 (1994), 55-76.
Font, J. M., and R. Jansana, A General Algebraic Semantics for Sentential Logics, Lecture Notes in Logic, Vol. 7, Springer-Verlag, Berlin-Heidelberg 1996.
Goguen, J. A., and R. M. Burstall, ‘Introducing Institutions’, in E. Clarke and D. Kozen, editors, 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., and R. M. Burstall, ‘Institutions: Abstract Model Theory for Specification and Programming’, Journal of the Association for Computing Machinery 9,1 (1992), 95-146.
Herrmann, B., Equivalential Logics and Definability of Truth, Dissertation, Freie Universitat 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., Categories for the Working Mathematician, Springer-Verlag, New York 1971.
Manes, E. G., Algebraic Theories, Springer-Verlag, New York 1976.
Tarlecki, A., ‘Bits and Pieces of the Theory of Institutions’, in D. Pitt, S. Abramsky, A. Poigné, and D. Rydeheard, editors, Proceedings, Summer Workshop on Category Theory and Computer Programming, Lecture Notes in Computer Science, Vol. 240, Springer 1986, pp. 334-360.
Tarski, A., ‘Über einige fundamentale Begriffe der Metamathematik’, C.R. Soc. Sci. Lettr. Varsovie, Cl. III 23 (1930), 22-29.
Voutsadakis, G., Categorical abstract algebraic logic, Doctoral Dissertation, Iowa State University, Ames, Iowa, August 1998.
Voutsadakis, G., ‘Categorical Abstract Algebraic Logic: Algebraizable Institutions’, Applied Categorical Structures 10,6 (2002), 531-568
Voutsadakis, G., ‘Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic'. Submitted to the Logic Journal of the IGPL.
Voutsadakis, G., ‘Categorical Abstract Algebraic Logic: Categorical Algebraization of First-Order Logic Without Terms'. Preprint.
Voutsadakis, G., ‘Categorical Abstract Algebraic Logic: The Criterion for Deductive Equivalence'. To appear in Mathematical Logic Quarterly.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Voutsadakis, G. Categorical Abstract Algebraic Logic: Equivalent Institutions. Studia Logica 74, 275–311 (2003). https://doi.org/10.1023/A:1024682108396
Issue Date:
DOI: https://doi.org/10.1023/A:1024682108396