Skip to main content
SpringerLink
Log in

Categorical Abstract Algebraic Logic: Behavioral π-Institutions

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

Recently, Caleiro, Gon¸calves and Martins introduced the notion of behaviorally algebraizable logic. The main idea behind their work is to replace, in the traditional theory of algebraizability of Blok and Pigozzi, unsorted equational logic with multi-sorted behavioral logic. The new notion accommodates logics over many-sorted languages and with non-truth-functional connectives. Moreover, it treats logics that are not algebraizable in the traditional sense while, at the same time, shedding new light to the equivalent algebraic semantics of logics that are algebraizable according to the original theory. In this paper, the notion of an abstract multi-sorted π-institution is introduced so as to transfer elements of the theory of behavioral algebraizability to the categorical setting. Institutions formalize a wider variety of logics than deductive systems, including logics involving multiple signatures and quantifiers. The framework developed has the same relation to behavioral algebraizability as the classical categorical abstract algebraic logic framework has to the original theory of algebraizability of Blok and Pigozzi.

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. Barbour G.D., Raftery J.G.: Quasivarieties of Logic, Regularity Conditions and Parameterized Algebrization. Studia Logica 74, 99–152 (2003)

    Article  Google Scholar 

  2. Bidoit M., Hennicker R.: Behavioural Theories and the Proof of Behavioural Properties. Theoretical Computer Science 165(1), 3–55 (1996)

    Article  Google Scholar 

  3. Blok W.J., Pigozzi D.: Protoalgebraic Logics. Studia Logica 45, 337–369 (1986)

    Article  Google Scholar 

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

  5. Blok, W. J., and D. Pigozzi, 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, pp. 1–56.

  6. Caleiro, C., and R. Gonçalves, On the Algebraization of Many-Sorted Logics, in J. Fiadeiro, and P.-Y. Schobbens, (eds.), Recent Trends in Algebraic Development Techniques-Selected Papers, Lecture Notes in Computer Science, Vol. 4409, 2007, pp. 21–36.

  7. Caleiro, C., and R. Gonçalves, Behavioral Algebraization of da Costa’s C-Systems, Journal of Applied Non-Classical Logics 19(2):127–148, 2009.

  8. Caleiro, C., R. Gonçalves, and M. Martins, Behavioral Algebraization of Logics, Studia Logica 91(1):63–111, 2009.

  9. Czelakowski J.: Equivalential Logics I. Studia Logica 40, 227–236 (1981)

    Article  Google Scholar 

  10. Czelakowski J.: Equivalential Logics II. Studia Logica 40, 355–372 (1981)

    Article  Google Scholar 

  11. Czelakowski, J., Protoalgebraic Logics, Trends in Logic-Studia Logica Library 10, Kluwer, Dordrecht, 2001.

  12. Czelakowski, J., and R. Jansana, Weakly Algebraizable Logics, Journal of Symbolic Logic 64:641–668, 2000.

  13. Fiadeiro, J., and A. Sernadas, Structuring Theories on Consequence, in D. Sannella and A. Tarlecki, (eds.), Recent Trends in Data Type Specification, Lecture Notes in Computer Science, Vol. 332, 1988, pp. 44–72.

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

  15. Font, J. M., R. Jansana, and D. Pigozzi, A Survey of Abstract Algebraic Logic Studia Logica 74(1/2):13–97, 2003.

  16. Font, J. M., and V. Verdú, Algebraic Logic for Classical Conjunction and Disjunction, Studia Logica 50(3-4):391–419, 1991.

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

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

  19. Herrmann B.: Equivalential and Algebraizable Logics. Studia Logica 57, 419–436 (1996)

    Article  Google Scholar 

  20. Herrmann, B., Charactrizing Equivalential and Algebraizable Logics by the Leibniz Operator, Studia Logica 58:305–323, 1997.

  21. Martins M.A.: Properties for the Class of Behavioral Models. Theoretical Computer Science 379, 53–83 (2007)

    Article  Google Scholar 

  22. Martins, M. A., On the Behavioral Equivalence Between k-Data Structures, The Computer Journal 51(2):181–19, 2008.

  23. Martins, M. A., and D. Pigozzi, Behavioural Reasoning for Conditional Equations, Mathematical Structures in Computer Science 17(5):1075–1113, 2007.

  24. Prucnal, T., and A. Wroński, An Algebraic Characterization of the Notion of Structural Completeness, Bulletin of the Section of Logic 3:30–33, 1974.

  25. Reichel, H., Behavioural Validity of Conditional Equations in Abstract Data Types, In Contributions to general Algebra 3, Proceedings of the Vienna Conference, 1985, pp. 301–324.

  26. Roşu, G., A Birkhoff-Like Axiomatizability Result for Hidden Algebra and Coalgebra, Electronic Notes in Theoretical Computer Science 11:179–196, 1998.

  27. Roşu, G., Hidden Logic, Ph.D. Thesis, University of California, San Diego, 2000.

  28. Roşu, G., Behavioral Abstraction in Hiding Information, Theoretical Computer Science 327(1-2):197–221, 2004.

  29. Voutsadakis, G., Categorical Abstract Algebraic Logic: Models of π-institutions, Notre Dame Journal of Formal Logic 46(4):439–460, 2005.

  30. Voutsadakis, G., Categorical Abstract Algebraic Logic: Ordered Equational Logic and Algebraizable PoVarieties, Order 23(4):297–319, 2006.

  31. Voutsadakis, G., Categorical Abstract Algebraic Logic: Prealgebraicity and Protoalgebraicity, Studia Logica 85(2):217–251, 2007.

  32. Voutsadakis, G., Categorical Abstract Algebraic Logic: More on Protoalgebraicity, Notre Dame Journal of Formal Logic 47(4):487–514, 2006.

  33. Voutsadakis, G., Categorical Abstract Algebraic Logic: Equivalential π-Institutions, Australasian Journal of Logic 6:24, 2008.

  34. Voutsadakis, G., Categorical Abstract Algebraic Logic: Syntactically Algebraizable π-Institutions, Reports on Mathematical Logic 44:105–151, 2009.

  35. Voutsadakis, G., Categorical Abstract Algebraic Logic: Tarski Congruence Systems, Logical Morphisms and Logical Quotients, Preprint available at http://www.cs.iastate.edu/~gvoutsad/RESEARCH/papers.html

Download references

Author information

Authors and Affiliations

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

    George Voutsadakis

Authors
  1. George Voutsadakis
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to George Voutsadakis.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Voutsadakis, G. Categorical Abstract Algebraic Logic: Behavioral π-Institutions. Stud Logica 102, 617–646 (2014). https://doi.org/10.1007/s11225-014-9553-4

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-014-9553-4

Keywords

2010 AMS Subject Classification

Search

Navigation