Abstract
In this article we investigate infinitary propositional logics from the perspective of their completeness properties in abstract algebraic logic. It is well-known that every finitary logic is complete with respect to its relatively (finitely) subdirectly irreducible models. We identify two syntactical notions formulated in terms of (completely) intersection-prime theories that follow from finitarity and are sufficient conditions for the aforementioned completeness properties. We construct all the necessary counterexamples to show that all these properties define pairwise different classes of logics. Consequently, we obtain a new hierarchy of logics going beyond the scope of finitarity.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Blok, W. J., and B. Jónsson, Equivalence of consequence operations, Studia Logica 83:91–110, 2006.
Burris, S., and H. P. Sankappanavar, A Course in Universal Algebra, vol. 78 of Graduate Texts in Mathematics, Springer, New York, 1981.
Cintula, P., Weakly implicative (fuzzy) logics I: basic properties, Archive for Mathematical Logic 45(6):673–704, 2006.
Cintula, P., P. Hájek, and C. Noguera (eds.), Handbook of Mathematical Fuzzy Logic (in 2 volumes), Studies in Logic, Mathematical Logic and Foundations, vols. 37 and 38, College Publications, London, 2011.
Cintula, P., and C. Noguera, Implicational (semilinear) logics I: a new hierarchy, Archive for Mathematical Logic 49(4):417–446, 2010.
Cintula, P., and C. Noguera, The proof by cases property and its variants in structural consequence relations, Studia Logica 101(4):713–747, 2013.
Cintula, P., and C. Noguera, Implicational (semilinear) logics II: additional connectives and characterizations of semilinearity, Archive for Mathematical Logic 55(3):353–372, 2016.
Czelakowski, J., and R. Jansana, Weakly algebraizable logics, Journal of Symbolic Logic 65(2):641–668, 2000.
Czelakowski, J., Protoalgebraic Logics, vol. 10 of Trends in Logic, Kluwer, Dordrecht, 2001.
Dummett, M., A propositional calculus with denumerable matrix, Journal of Symbolic Logic 24(2):97–106, 1959.
Font, J. M., Abstract Algebraic Logic—An Introductory textbook, vol. 60 of Studies in Logic, Mathematical Logic and Foundations, College Publications, London, 2016.
Font, J. M., and R. Jansana, A General Algebraic Semantics for Sentential Logics, vol. 7 of Lecture Notes in Logic, 2 edn., Association for Symbolic Logic, Ithaca, NY, 2009.
Font, J. M., R. Jansana, and D. L. Pigozzi, A survey of abstract algebraic logic, Studia Logica 74:1–2, 2003. Special Issue on Abstract Algebraic Logic II, pp. 13–97.
Font, J. M., R. Jansana, and D. L. Pigozzi, Update to “a survey of Abstract Algebraic Logic”, Studia Logica 91(1):125–130, 2009.
Lávička, T., Classification of (in)finitary logics, Master thesis, Charles University in Prague, 2015.
Łukasiewicz, J., and A. Tarski, Untersuchungen über den Aussagenkalkül, Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, cl. III 23(iii):30–50, 1930.
Raftery, J. G., Order algebraizable logics, Annals of Pure and Applied Logic 163(3):251–283, 2013.
Rasiowa, H., An Algebraic Approach to Non-Classical Logics, vol. 78 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1974.
Wójcicki, R., Theory of Logical Calculi, vol. 199 of Synthese Library, Kluwer Academic Publishers, Dordrecht/Boston/London, 1988.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Lávička, T., Noguera, C. A New Hierarchy of Infinitary Logics in Abstract Algebraic Logic. Stud Logica 105, 521–551 (2017). https://doi.org/10.1007/s11225-016-9699-3
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-016-9699-3