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.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Babyonyshev S. (2003). ‘Fully Fregean logics’. Reports on Mathematical Logic 37: 59–78
Badesa, C., The Birth of Model Theory: Lowenheim’s Theorem in the Frame of the Theory of Relatives, Princeton University Press, 2004
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).
Blok, W., and D. Pigozzi, Algebraizable logics, vol. 396 of Mem. Amer. Math. Soc. A.M.S., Providence, January 1989.
Celani S. and Jansana R. (2001). ‘A closer look at some subintuitionistic logics’. Notre Dame Journal of Formal Logic 42: 225–255
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.
Czelakowski, J., Protoalgebraic Logics, vol. 10 of Trends in Logic, Studia Logica Library, Kluwer, Dordrecht, 2001.
Czelakowski J. and Pigozzi D. (2004). ‘Fregean logics’. Annals of Pure and Applied Logic 127: 17–76
Czelakowski J. and Pigozzi D. (2004). ’Fregean logics with the multiterm deduction theorem and their algebraization’. Studia Logica 78: 171–212
Dellunde P. (1995). A finitary 1-equivalential logic not finitely equivalential. Bulletin of the Section of Logic 24 3: 120–122
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
Font J.M., Jansana R. and Pigozzi D. (2003). ‘A Survey of Abstract Algebraic Logic’. Studia Logica 74: 13–97
Herrmann, B., Equivalential logics and definability of truth, Ph. D. Dissertation, Freie Universit¨at Berlin, 1993, 61 pp.
Herrmann B. (1996). ‘Equivalential and algebraizable logics’. Studia Logica 57: 419–436
Herrmann B. (1997). ‘Characterizing equivalential and algebraizable logics by the Leibniz operator’. Studia Logica 58: 305–323
Jansana R. (2003). ‘Leibniz filters revisited’. Studia Logica 75: 305–317
Lewin R.A., Mikenberg I.F. and Schwarze M.G. (1997). ‘On the algebraizability of annotated logics’. Studia Logica 59: 359–386
Author information
Authors and Affiliations
Corresponding author
Rights 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
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-009-9169-2