Abstract
We adjust the notion of finitary filter pair, which was coined for creating and analyzing finitary logics, in such a way that we can treat logics of cardinality \(\kappa \), where \(\kappa \) is a regular cardinal. The corresponding new notion is called \(\kappa \)-filter pair. A filter pair can be seen as a presentation of a logic, and we ask what different \(\kappa \)-filter pairs give rise to a fixed logic of cardinality \(\kappa \). To make the question well-defined we restrict to a subcollection of filter pairs and establish a bijection from that collection to the set of natural extensions of that logic by a set of variables of cardinality \(\kappa \). Along the way we use \(\kappa \)-filter pairs to construct natural extensions for a given logic, work out the relationships between this construction and several others proposed in the literature, and show that the collection of natural extensions forms a complete lattice. In an optional section we introduce and motivate the concept of a general filter pair.
Similar content being viewed by others
Notes
I.e. \(\sigma \in hom_{\varSigma }({Fm_{\varSigma }(X)},{Fm_{\varSigma }(X)})\).
Remember that our sets of variables are infinite, in particular \(X \ne \emptyset \).
References
Arndt, P., Mariano, H.L., Pinto, D.C.: Finitary Filter Pairs and Propositional Logics. South American Journal of Logic 4(2), 257–280 (2018)
Arndt, P., Mariano, H. L., Pinto, D. C.: Congruence filter pairs, adjoints and Leibniz hierarchy, arXiv:2109.01065, (2021)
Arndt, P., Mariano, H. L., Pinto, D. C.: Congruence filter pairs, equational filter pairs and generalizations, in preparation, (2021)
Arndt, P., Mariano, H. L., Pinto, D. C.: Horn filter pairs and Craig interpolation in propositional logic, in preparation, (2021)
Adámek, J., Rosický, J.: Locally Presentable and Accessible Categories. Lecture Notes Series of the LMS, vol. 189. Cambridge University Press, Cambridge, Great Britain (1994)
Avron, A., Zamansky, A.: Non-Deterministic Semantics for Logical Systems. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 16. Springer, Dordrecht (2011)
Bloom, S., Brown, D., Suszko, R.: Some theorems on abstract logics. Algebra Logika 9, 274–280 (1970)
Blok, W.J., Pigozzi, D.: Algebraizable logics, Memoirs of the AMS 396. American Mathematical Society, Providence, USA (1989)
Cintula, P., Noguera, C.: A note on natural extensions in abstract algebraic logic. Stud. Logica. 103(4), 815–823 (2015)
Czelakowski, J.: Protoalgebraic logics, Trends in Logic—Studia Logica Library 10, Kluwer Academic Publishers, xii+452 pp., (2001)
Ellerman, D.: Logical information theory: new logical foundations for information theory. Logic Journal of the IGPL 25(5), 806–835 (2017)
Font, J.M.: Abstract Algebraic logic: An introductory textbook. College Publications, London, Mathematical Logic and Foundations (2016)
Font, J. M.: Generalized Matrices in Abstract Algebraic Logic. In: Hendricks V.F., Malinowski J. (eds) Trends in Logic. Trends in Logic (Studia Logica Library), vol 21. Springer, Dordrecht
Łoś, J., Suszko, R.: Remarks on sentential logics. Indag. Math. 20, 177–183 (1958)
Mariano, H. L., Pinto, D. C.: Representation theory of logics: a categorial approach, arXiv preprint, arXiv:1405.2429, (2014)
Mariano, H.L., Pinto, D.C.: Algebraizable Logics and a functorial encoding of its morphisms. Logic Journal of the IGPL 25(4), 524–561 (2017)
Přenosil, A.: Constructing natural extensions of propositional logics. Stud. Logica. 104(6), 1179–1190 (2016)
Shoesmith, D.J., Smiley, T.J.: Deducibility and many-valuedness. J. Symb. Log. 36(4), 610–622 (1971)
Taylor, P.: Practical foundations of mathematics, Cambridge Studies in Advanced Mathematics, Cambridge University Press, (1999)
Acknowledgements
We thank the referee for the detailed remarks, which greatly improved the readability of the article.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This author was funded by FAPESB, Grant APP0072/2016.
Rights and permissions
About this article
Cite this article
Arndt, P., Mariano, H.L. & Pinto, D.C. Filter pairs and natural extensions of logics. Arch. Math. Logic 62, 113–145 (2023). https://doi.org/10.1007/s00153-022-00834-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-022-00834-6