Skip to main content
SpringerLink
Log in

Categorical Abstract Algebraic Logic Metalogical Properties

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

Metalogical properties that have traditionally been studied in the deductive system context (see, e.g., [21]) and transferred later to the institution context [33], are here formulated in the π-institution context. Preservation under deductive equivalence of π-institutions is investigated. If a property is known to hold in all algebraic π-institutions and is preserved under deductive equivalence, then it follows that it holds in all algebraizable π-institutions in the sense of [36].

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Bagchi, A., and Wells, C., Graph-based Logic and Sketches I: The General Framework, Preprint.

  2. Bagchi, A., and Wells, C., Graph-based Logic and Sketches II: Finite Product Categories and Equational Logic, Preprint.

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

  4. Barr, M., and Wells, C., Toposes, Triples and Theories, Springer-Verlag, New York 1985.

    Google Scholar 

  5. Barr, M., and Wells, C., Category Theory for Computing Science, Third Edition, Les Publications CRM, Montréal, 1999.

    Google Scholar 

  6. Bastiani, A., and Ehresmann, C., ‘Categories of Sketched Structures’, Cahiers de Topologie et Géométrie Différentielle XIII,No. 2 (1972), 105-212.

    Google Scholar 

  7. Blok, W.J., and Pigozzi, D., ‘Protoalgebraic Logics’, Studia Logica 45 (1986), 337-369.

    Google Scholar 

  8. Blok, W. J., and Pigozzi, D., Algebraizable Logics, Memoirs of the American Mathematical Society, Vol. 77, No. 396 (1989).

  9. Blok, W. J., and Pigozzi, D., Algebraic Semantics for Universal Horn Logic Without Equality, in Universal Algebra and Quasigroup Theory, A. Romanowska and J.D.H. Smith, (eds.), Heldermann Verlag, Berlin 1992.

    Google Scholar 

  10. Blok, W. J., and Pigozzi, D., Abstract Algebraic Logic and the Deduction Theorem, to appear in the Bulletin of Symbolic Logic.

  11. Coppey, L., and Lair, C., ‘Leçons de Théorie des Esquisses, Partie I’, Diagrammes 12 (1984), pp. I-X, 1–38.

    Google Scholar 

  12. Coppey, L., and Lair, C., ‘Leçons de Théorie des Esquisses, Partie II’, Diagrammes 19 (1988), 1-67.

    Google Scholar 

  13. Czelakowski, J., ‘Equivalential Logics I,II’, Studia Logica 40 (1981), 227-236, 355–372.

    Google Scholar 

  14. Czelakowski, J., ‘Logical Matrices and the Amalgamation Property’, Studia Logica 41,No. 4 (1982), 329-341.

    Google Scholar 

  15. Czelakowski, J., ‘Sentential Logics and Maehara Interpolation Property’, Studia Logica 44,No. 3 (1985), 265-283.

    Google Scholar 

  16. Czelakowski, J., ‘Local Deduction Theorems’, Studia Logica 45,No. 4 (1986), 377-391.

    Google Scholar 

  17. Czelakowski, J., Consequence Operations Foundational Studies, Reports of the Research Project Theories, Models, Cognitive Schemata, Polish Academy of Science 1992 (Preprint).

  18. Czelakowski, J., Protoalgebraic Logics, vol. 10 of Trends in Logic, Studia Logica Library, Kluwer, Dordrecht, 2001.

    Google Scholar 

  19. Czelakowski, J., and Pigozzi, D., Amalgamation and Interpolation in Abstract Algebraic Logic. Models, Algebras and Proofs, in Lecture Notes in Pure and Applied Mathematics, Vol. 203, Dekker, New York 1999, pp. 187-265.

    Google Scholar 

  20. Fiadeiro, J., and Sernadas, A., Structuring Theories on Consequence, in Recent Trends in Data Type Specification, Donald Sannella and Andrzej Tarlecki, (eds.), Lecture Notes in Computer Science, Vol. 332, Springer-Verlag, New York 1988, pp. 44-72.

    Google Scholar 

  21. Font, J. M., and Jansana, R., A General Algebraic Semantics for Sentential Logics, Lecture Notes in Logic, Vol. 7 (1996), Springer-Verlag, Berlin Heidelberg 1996.

    Google Scholar 

  22. Font, J. M., and Verdu, V., ‘Algebraic Logic for Classical Conjunction and Disjunction’, Studia Logica 50,No. 3–4 (1991), 391-419.

    Google Scholar 

  23. Goguen, J. A., and Burstall, R. M., Introducing Institutions, in Proceedings of the Logic of Programming Workshop, E. Clarke and D. Kozen, (eds.), Lecture Notes in Computer Science, Vol. 164, Springer-Verlag, New York 1984, pp. 221-256.

    Google Scholar 

  24. Goguen, J. A., and Burstall, R. M., ‘Institutions: Abstract Model Theory for Specification and Programming’, Journal of the Association for Computing Machinery 39,No. 1 (1992), 95-146.

    Google Scholar 

  25. Herrmann, B., Equivalential Logics and Definability of Truth, Dissertation, Freie Universitat Berlin, Berlin 1993.

    Google Scholar 

  26. Herrmann, B., ‘Equivalential and Algebraizable Logics’, Studia Logica 57 (1996), 419-436.

    Google Scholar 

  27. Herrmann, B., ‘Characterizing Equivalential and Algebraizable Logics by the Leibniz Operator’, Studia Logica 58 (1997), 305-323.

    Google Scholar 

  28. Hopcroft, J. E., and Ullman, J. D., Introduction to Automata Theory, Languages and Computation, 2nd Edition, Addison-Wesley, Reading, Massachussetts, 1979.

    Google Scholar 

  29. Lewis, H. R., and Papadimitriou, C., Elements of the Theory of Computation, Prentice Hall, Englewood Cliffs, New Jersey, 1981.

    Google Scholar 

  30. Mac Lane, S., Category Theory for the Working Mathematician, Springer-Verlag, New York 1971.

    Google Scholar 

  31. Martin, J.C., Introduction to Languages and the Theory of Computation, McGraw-Hill, New-York, 1991.

    Google Scholar 

  32. Pynko, A. P., ‘Definitional Equivalence and Algebraizability of Generalized Logical Systems’, Annals of Pure and Applied Logic 98 (1999), 1-68.

    Google Scholar 

  33. Tarlecki, A., Bits and Pieces of the Theory of Institutions, Category Theory and Computer Programming (Guildford, 1985), Lecture Notes in Computer Science, Vol. 240 (1986), pp. 334-363.

  34. Voutsadakis, G., Categorical Abstract Algebraic Logic, Doctoral Dissertation, Iowa State University, Ames, Iowa 1998.

    Google Scholar 

  35. Voutsadakis, G., ‘Categorical Abstract Algebraic Logic: Equivalent Institutions’, To appear in Studia Logica.

  36. Voutsadakis, G., ‘Categorical Abstract Algebraic Logic: Algebraizable Institutions'. To appear in Applied Categorical Structures.

  37. Voutsadakis, G., ‘Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic’, Submitted to the Logic Journal of the IGPL.

  38. Voutsadakis, G., ‘Categorical Abstract Algebraic Logic: Categorical Algebraization of First-Order Logic Without Terms'. Submitted to the Archive for Mathematical Logic.

Download references

Author information

Authors and Affiliations

  1. School of Mathematics and Computer Science, Lake Superior State University, Sault Sainte Marie, MI, 49783, USA

    George Voutsadakis

Authors
  1. George Voutsadakis
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Voutsadakis, G. Categorical Abstract Algebraic Logic Metalogical Properties. Studia Logica 74, 369–398 (2003). https://doi.org/10.1023/A:1025167200338

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1025167200338

Search

Navigation