Skip to main content
SpringerLink
Log in

Update to “A Survey of Abstract Algebraic Logic”

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

A definition and some inaccurate cross-references in the paper A Survey of Abstract Algebraic Logic, which might confuse some readers, are clarified and corrected; a short discussion of the main one is included. We also update a dozen of bibliographic references.

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. (2003). ‘Fully Fregean logics’. Reports on Mathematical Logic 37: 59–78

    Google Scholar 

  2. Badesa, C., The Birth of Model Theory: Lowenheim’s Theorem in the Frame of the Theory of Relatives, Princeton University Press, 2004

  3. Blok, W., and B. Jónsson, ‘Equivalence of consequence operations’, Studia Logica 83 (2006), 91–110. Based on lectures 1, 2 and 4 of the course Algebraic structures for logic, given at the23rd Holiday Mathematics Symposium (New Mexico State University, January 1999).

  4. Blok, W., and D. Pigozzi, Algebraizable logics, vol. 396 of Mem. Amer. Math. Soc. A.M.S., Providence, January 1989.

  5. Celani S. and Jansana R. (2001). ‘A closer look at some subintuitionistic logics’. Notre Dame Journal of Formal Logic 42: 225–255

    Article  Google Scholar 

  6. Czelakowski, J., ‘Consequence operations: Foundational studies’, Reports of the research project “Theories, models, cognitive schemata”, Institute of Philosophy and Sociology, Polish Academy of Sciences, Warszawa, 1992.

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

  8. Czelakowski J. and Pigozzi D. (2004). ‘Fregean logics’. Annals of Pure and Applied Logic 127: 17–76

    Article  Google Scholar 

  9. Czelakowski J. and Pigozzi D. (2004). ’Fregean logics with the multiterm deduction theorem and their algebraization’. Studia Logica 78: 171–212

    Article  Google Scholar 

  10. Dellunde P. (1995). A finitary 1-equivalential logic not finitely equivalential. Bulletin of the Section of Logic 24 3: 120–122

    Google Scholar 

  11. Font J.M., Jansana R. and Pigozzi D. (2006). ‘On the closure properties of the class of full g-models of a deductive system’. Studia Logica 83: 215–278

    Article  Google Scholar 

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

    Article  Google Scholar 

  13. Herrmann, B., Equivalential logics and definability of truth, Ph. D. Dissertation, Freie Universit¨at Berlin, 1993, 61 pp.

  14. Herrmann B. (1996). ‘Equivalential and algebraizable logics’. Studia Logica 57: 419–436

    Article  Google Scholar 

  15. Herrmann B. (1997). ‘Characterizing equivalential and algebraizable logics by the Leibniz operator’. Studia Logica 58: 305–323

    Article  Google Scholar 

  16. Jansana R. (2003). ‘Leibniz filters revisited’. Studia Logica 75: 305–317

    Article  Google Scholar 

  17. Lewin R.A., Mikenberg I.F. and Schwarze M.G. (1997). ‘On the algebraizability of annotated logics’. Studia Logica 59: 359–386

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Departament of Probability, Logic and Statistics Faculty of Mathematics, University of Barcelona, Gran Via de les Corts Catalanes 585, 08007, Barcelona, Spain

    J. M. Font

  2. Departament of Logic, History and Philosophy of Science Faculty of Philosophy, University of Barcelona, Carrer Montalegre 6, 08001, Barcelona, Spain

    R. Jansana

  3. Department of Mathematics, Iowa State University, Ames, Iowa, U.S.A

    D. Pigozzi

Authors
  1. J. M. Font
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. R. Jansana
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. D. Pigozzi
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to J. M. Font.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Font, J.M., Jansana, R. & Pigozzi, D. Update to “A Survey of Abstract Algebraic Logic”. Stud Logica 91, 125–130 (2009). https://doi.org/10.1007/s11225-009-9169-2

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-009-9169-2

Keywords

Search

Navigation