Skip to main content
SpringerLink
Log in

Categorical Abstract Algebraic Logic: Referential Algebraic Semantics

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

Wójcicki has provided a characterization of selfextensional logics as those that can be endowed with a complete local referential semantics. His result was extended by Jansana and Palmigiano, who developed a duality between the category of reduced congruential atlases and that of reduced referential algebras over a fixed similarity type. This duality restricts to one between reduced atlas models and reduced referential algebra models of selfextensional logics. In this paper referential algebraic systems and congruential atlas systems are introduced, which abstract referential algebras and congruential atlases, respectively. This enables the formulation of an analog of Wójcicki’s Theorem for logics formalized as π-institutions. Moreover, the results of Jansana and Palmigiano are generalized to obtain a duality between congruential atlas systems and referential algebraic systems over a fixed categorical algebraic signature. In future work, the duality obtained in this paper will be used to obtain one between atlas system models and referential algebraic system models of an arbitrary selfextensional π-institution. Using this latter duality, the characterization of fully selfextensional deductive systems among the selfextensional ones, that was obtained by Jansana and Palmigiano, can be extended to a similar characterization of fully selfextensional π-institutions among appropriately chosen classes of selfextensional ones.

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. Babyonyshev S.V.: Fully Fregean Logics. Reports on Mathematical Logic 37, 59–78 (2003)

    Google Scholar 

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

  3. Belnap, N., A Useful Four-Valued Logic, in Modern Uses of Multiple-Valued Logic, J.M. Dunn, G. Epstein, Eds., 8–37, Reidel, Dordrecht-Boston, 1977.

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

  5. Brown D.J., R. Suszko: Abstract Logics. Dissertationes Mathematicae 102, 9–42 (1973)

    Google Scholar 

  6. Celani, S., and R. Jansana, A Closer Look at Some Subintuitionistic Logics, Notre Dame Journal of Formal Logic 42:225–255, 2001.

    Google Scholar 

  7. Celani S., R. Jansana: A New Semantics for Positive Modal Logic. Notre Dame Journal of Formal Logic 38, 1–18 (1997)

    Article  Google Scholar 

  8. Czelakowski, J., Protoalgebraic Logics, Studia Logica Library 10, Kluwer, Dordrecht, 2001.

  9. Diaconescu, R., Institution-Independent Model Theory, Studies in Universal Logic, Birkh¨auser, Berlin, 2008.

  10. Dunn, M., and G. M. Hardegree, Algebraic Methods in Philosophical Logic, Oxford University Press, Oxford, 2001.

  11. Fiadeiro, J., and A. Sernadas, Structuring Theories on Consequence, in Recent Trends in Data Type Specification, Donald Sannella and Andrzej Tarlecki, Eds., Lecture Notes in Computer Science 332:44–72, 1988.

  12. Font J.M.: Belnap’s Four-Valued Logic and De Morgan Lattices. Logic Journal of the I.G.P.L. 5, 413–440 (1997)

    Google Scholar 

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

  14. Font, J.M., R. Jansana, and D. Pigozzi, A Survey of Abstract Algebraic Logic,Studia Logica 74:13–97, 2003.

    Google Scholar 

  15. Font, J.M., and V. Verdú, Algebraic Logic for Classical Conjunction and Disjunction, Studia Logica 50:391–419, 1991.

    Google Scholar 

  16. Goguen, J.A., and R.M. Burstall, Introducing Institutions’, in Proceedings of the Logic of Programming Workshop, E. Clarke and D. Kozen, Eds., Lecture Notes in Computer Science 164:221–256, 1984.

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

    Google Scholar 

  18. Jansana R., Palmigiano A.: Referential Semantics: Duality and Applications. Reports on Mathematical Logic 41, 63–93 (2006)

    Google Scholar 

  19. Visser A.: A Propositional Logic With Explicit Fixed Points. Studia Logica 40, 155–175 (1981)

    Article  Google Scholar 

  20. Voutsadakis G.: Categorical Abstract Algebraic Logic: Equivalent Institutions. Studia Logica 74, 275–311 (2003)

    Article  Google Scholar 

  21. Voutsadakis G.: Categorical Abstract Algebraic Logic: Algebraizable Institutions. Applied Categorical Structures 10, 531–568 (2002)

    Article  Google Scholar 

  22. Voutsadakis, G., Categorical Abstract Algebraic Logic: Tarski Congruence Systems, Logical Morphisms and Logical Quotients, Preprint available at http://www.voutsadakis.com/RESEARCH/papers.html.

  23. Wójcicki, R., Referential Matrix Semantics for Propositional Calculi, in Proceedings of the Sixth International Congress of Logic, Methodology and Philosophy of Science, Hannover 1979, North-Holland and PWN, 1982, pp. 325–334.

  24. Wójcicki, R., Theory of Logical Calculi. Basic Theory of Consequence Operators, Kluwer, Dordrecht, 1988.

Download references

Author information

Authors and Affiliations

  1. School of Mathematics and Computer Science, Lake Superior State University, 650 W. Easterday Avenue, 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

Cite this article

Voutsadakis, G. Categorical Abstract Algebraic Logic: Referential Algebraic Semantics. Stud Logica 101, 849–899 (2013). https://doi.org/10.1007/s11225-013-9500-9

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-013-9500-9

Keywords

Search

Navigation