Abstract
We establish some relations between the class of truth-equational logics, the class of assertional logics, other classes in the Leibniz hierarchy, and the classes in the Frege hierarchy. We argue that the class of assertional logics belongs properly in the Leibniz hierarchy. We give two new characterizations of truth-equational logics in terms of their full generalized models, and use them to obtain further results on the internal structure of the Frege hierarchy and on the relations between the two hierarchies. Some of these results and several counterexamples contribute to answer a few open problems in abstract algebraic logic, and open a new one.
Dedicated to Professor Don Pigozzi
on the occasion of his 80th birthday
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Albuquerque, H., Font, J. M. and Jansana, R. (2016). Compatibility operators in abstract algebraic logic, The Journal of Symbolic Logic, 81, 417–462.
Babyonyshev, S. (2003). Fully Fregean logics, Reports on Mathematical Logic, 37, 59–78.
Bergman, C. (2011). Universal Algebra. Fundamentals and Selected Topics, CRC Press.
Blok, W. and Pigozzi, D. (1986). Protoalgebraic logics, Studia Logica, 45, 337–369.
Blok, W. and Pigozzi, D. (1989). Algebraizable logics, volume 396 of Mem. Amer. Math. Soc., A.M.S., Providence, January, Out of print. Reprinted in the Classic Reprints series, Avanced Reasoning Forum, 2014.
Blok, W. and Pigozzi, D. (1992). Algebraic semantics for universal Horn logic without equality, in A. Romanowska and J. D. H. Smith, editors, Universal Algebra and Quasigroup Theory, pages 1–56. Heldermann, Berlin.
Bou, F. (2001). Strict implication and subintuitionistic logics, Master Thesis, University of Barcelona, In Spanish.
Bou, F., Esteva, F., Font, J. M., Gil, A. J., Godo, Ll., Torrens, A. and Verd´u, V. (2009). Logics preserving degrees of truth from varieties of residuated lattices, Journal of Logic and Computation, 19, 1031–1069.
Czelakowski, J. (1981). Equivalential logics, I, II, Studia Logica, 40, 227–236 and 355–372.
Czelakowski, J. (1992). Consequence operations: Foundational studies. Reports of the research project Theories, models, cognitive schemata, Institute of Philosophy and Sociology, Polish Academy of Sciences, Warszawa.
Czelakowski, J. (2001). Protoalgebraic logics, volume 10 of Trends in Logic - Studia Logica Library, Kluwer Academic Publishers, Dordrecht.
Czelakowski, J. (2003). The Suszko operator. Part I, Studia Logica (Special issue on Abstract Algebraic Logic, Part II), 74, 181–231.
Czelakowski, J. and Pigozzi, D. (2004). Fregean logics, Annals of Pure and Applied Logic, 127, 17–76.
Font, J. M. (1993). On the Leibniz congruences, In C. Rauszer, editor, Algebraic Methods in Logic and in Computer Science, volume 28 of Banach Center Publications, pages 17–36. Polish Academy of Sciences, Warszawa.
Font, J. M. (1997). Belnap’s four-valued logic and De Morgan lattices, Logic Journal of the IGPL, 5, 413–440.
Font, J. M. (2003). Generalized matrices in abstract algebraic logic, in V. F. Hendriks and J. Malinowski, editors, Trends in Logic. 50 years of Studia Logica, volume 21 of Trends in Logic - Studia Logica Library, pages 57–86. Kluwer Academic Publishers, Dordrecht.
Font, J. M. (2006). Beyond Rasiowa’s algebraic approach to non-classical logics, Studia Logica, 82, 172–209.
Font, J. M. (2015). Abstract algebraic logic – an introductory chapter, in N. Galatos and K. Terui, editors, Hiroakira Ono on Residuated Lattices and Substructural Logics, Outstanding Contributions to Logic, Springer, 68 p, to appear.
Font, J. M. (2016). Abstract Algebraic Logic. An Introductory Textbook, volume 60 of Studies in Logic – Mathematical Logic and Foundations, College Publications, London.
Font, J. M. and Jansana, R. (1996). A general algebraic semantics for sentential logics, volume 7 of Lecture Notes in Logic, Springer-Verlag, Out of print, Second revised edition published in 2009 by the Association for Symbolic Logic, and reprinted by Cambridge University Press (2017).
Font, J. M., Jansana, R. and Pigozzi, D. (2003). A survey of abstract algebraic logic, Studia Logica (Special issue on Abstract Algebraic Logic, Part II), 74, 13–97, with an update in 91, 125–130, 2009.
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 (Special issue in memory of Willem Blok), 83, 215–278.
Galatos, N., Jipsen, P., Kowalski, T. and Ono, H. (2007). Residuated lattices: an algebraic glimpse at substructural logics, volume 151 of Studies in Logic and the Foundations of Mathematics, Elsevier, Amsterdam.
Gehrke, M., Jansana, R. and Palmigiano, A. (2010). Canonical extensions for congruential logics with the deduction theorem, Annals of Pure and Applied Logic, 161, 1502–1519.
Henkin, L., Monk, J. D. and Tarski, A. (1985). Cylindric algebras, part II, North-Holland, Amsterdam.
Pigozzi, D. (1991). Fregean algebraic logic. In H. Andréka, J. D. Monk, and I. Németi, editors, Algebraic Logic, volume 54 of Colloquia mathematica Societatis János Bolyai, pages 473–502, North-Holland, Amsterdam.
Raftery, J. (2006). The equational definability of truth predicates, Reports on Mathematical Logic (Special issue in memory of Willem Blok), 41, 95–149.
Rasiowa, H. (1974). An algebraic approach to non-classical logics, volume 78 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam.
Rautenberg, W. (1993). On reduced matrices, Studia Logica, 52, 63–72.
Rebagliato, J. and Verdú, V. (1993). On the algebraization of some Gentzen systems, Fundamenta Informaticae (Special issue on Algebraic Logic and its Applications), 18, 319–338.
Suzuki, Y., Wolter, F. and Zacharyaschev, M. (1998). Speaking about transitive frames in propositional languages, Journal of Logic, Language and Information, 7, 317–339.
Wójcicki, R. (1979). Referential matrix semantics for propositional calculi, Bulletin of the Section of Logic, 8, 170–176.
Wójcicki, R. (1988). Theory of logical calculi. Basic theory of consequence operations, volume 199 of Synthèse Library, Reidel, Dordrecht.
Acknowledgements
The authors acknowledge with thanks the following support: grant SFRH/BD/79581/2011 from FCT of the government of Portugal, research grant 2014SGR-788 from the government of Catalonia, research project MTM2011-25747 from the government of Spain, which includes FEDER funds from the European Union, project GA13-14654S of the Czech Science Foundation, and an APIF grant from the University of Barcelona.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this chapter
Cite this chapter
Albuquerque, H., Font, J.M., Jansana, R., Moraschini, T. (2018). Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic. In: Czelakowski, J. (eds) Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science. Outstanding Contributions to Logic, vol 16. Springer, Cham. https://doi.org/10.1007/978-3-319-74772-9_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-74772-9_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-74771-2
Online ISBN: 978-3-319-74772-9
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)