Abstract
In this paper we study the variety \(\textsf{WL}\) of bounded distributive lattices endowed with an implication, called weak Lewis distributive lattices. This variety corresponds to the algebraic semantics of the \(\{\vee ,\wedge ,\Rightarrow ,\bot ,\top \}\)-fragment of the arithmetical base preservativity logic \(\mathsf {iP^{-}}\). The variety \(\textsf{WL}\) properly contains the variety of bounded distributive lattices with strict implication, also known as weak Heyting algebras. We introduce the notion of WL-frame and we prove a representation theorem for WL-lattices by means of WL-frames. We extended this representation to a topological duality by means of Priestley spaces endowed with a special neighbourhood relation between points and closed upsets of the space. These results are applied in order to give a representation and a topological duality for the variety of weak Heyting–Lewis algebras, i.e., for the algebraic semantics of the arithmetical base preservativity logic \(\textsf{iP}^{-}\).
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Ardeshir, M., and W. Ruitenburg, Basic propositional calculus I, Mathematical Logic Quarterly 44:317–343, 1998.
Balbes, R., and P. Dwinger, Distributive Lattices, University of Missouri Press, Columbia, 1974.
Celani, S., Concurrent algebras: an algebraic study of a fragment of concurrent propositional dynamic logic, Algebra Universalis 66:183–204, 2011.
Celani, S., Topological duality for Boolean algebras with a normal n-ary monotonic operator, Order 26:49–67, 2009.
Celani, S., and R. Jansana, A closer look at some subintuitionistic logics, Notre Dame Journal of Formal Logic 42:225–255, 2003.
Celani, S., and R. Jansana, Bounded distributive lattices with strict implication, Mathematical Logic Quarterly 51:219–246, 2005.
Corsi, G., Weak logics with strict implication, Mathematical Logic Quarterly 33:389–406, 1987.
Davey, B., and H. A. Priestley, Introduction to Lattices and Order. Cambridge University Press, 1994.
de Groot, J., T. Litak, and D. Pattinson, Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication, arXiv:2105.01873
de Groot, J., and D. Pattinson, Monotone subintuitionistic logic: duality and transfer results, Notre Dame Journal of Formal Logic 63:213–242, 2022.
Došen, K., Modal translation in K and D, Diamonds and Defaults, The Series Synthese Library 229:103–127, 1994.
Epstein, G., and A. Horn, Logics which are characterized by subresiduated lattices, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 22:199–210, 1976.
Esakia, L., Heyting algebras. Duality theory, G. Bezhanishvili, and W. Holliday, (eds.), translated from the Russian by A. Evseev, vol. 50 of Trends in Logic, Springer, 2019.
Gehrke, M., and S. van Gool, Topological Duality for Distributive Lattices: Theory and Applications, arXiv:2203.03286, 2023.
Goldblatt, R., Parallel action: concurrent dynamic logic with independent modalities, Studia Logica 51:551–578, 1992.
Hansen, H. H., Monotonic Modal Logic, Master’s Thesis, University of Amsterdam, 2003.
Iemhoff, R., Provability Logic and Admissible Rules, Ph.D. Thesis, University of Amsterdam, 2001.
Iemhoff, R., Preservativity logic: an analogue of interpretability logic for constructive theories, Mathematical Logic Quarterly 49:230–249, 2003.
Iemhoff, R., D. De Jongh, and C. Zhou, Properties of intuitionistic provability and preservativity logics, Logic Journal of the IGPL 13:615–636, 2005.
Lewis, C. I., The matrix algebra for implications, The Journal of Philosophy, Psychology and Scientific Methods 11:589–600, 1920.
Lewis, C. I., A Survey of Symbolic Logic, University of California Press, 1918.
Lewis, C. I., and C. H. Langford, Symbolic Logic, in The Century philosophical Series, Century Company, New York-London, 1932.
Litak, T., and A. Visser, Lewis meets Brouwer: constructive strict implication, Indagationes Mathematicae 29:36–90, 2018.
Litak, T., and A. Visser, Lewisian Fixed Points I: Two Incomparable Constructions, arXiv:1905.09450.
Maleki, F. S., and D. de Jongh, Weak subintuitionistic logics, Logic Journal of the IGPL 25:214–231, 2017.
Moniri, M., and F. Shirmohammadzadeh Maleki, Another neighbourhood semantics for intuitionistic logic, Logic Journal of the IGPLhttps://doi.org/10.1093/jigpal/jzac069.2022.
Pacuit, E., Neighborhood Semantics for Modal Logic, Springer, 2017.
Priestley, H. A., Representation of bounded distributive lattice by means of orderer Stone spaces, Bulletin of the London Mathematical Society 2:186–190, 1970.
Restall G., Subintuitionistic logics, Notre Dame Journal of Formal Logic 35:116–129, 1994.
San Martín, H. J., On congruences in weak implicative semi-lattices, Soft Computing 21:3167–3176, 2017.
Visser, A., A propositional logic with explicit fixed points, Studia Logica 40:155–175, 1981.
Visser, A., Substitutions of \(\sum _{1}^{0}\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic, Annals of Pure and Applied Logic 114:227–271, 2002.
Acknowledgements
This work was supported by Consejo Nacional de Investigaciones Científicas y Técnicas (PIP 11220170100195CO and PIP 11220200 100912CO, CONICET-Argentina), Universidad Nacional de La Plata (11X /921) and Agencia Nacional de Promoción Científica y Tecnológica (PICT20 19-2019-00882, ANPCyT-Argentina). This project has also received funding from MOSAIC Project 101007627 (European Union’s Horizon 2020 research and innovation programme under the Marie Sklodowska-Curie). We are also indebted to the anonymous referees for several improvements over the original manuscript.
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.
Presented by Francesco Paoli; Received July 2, 2023.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Calomino, I., Celani, S.A. & Martín, H.J.S. On Weak Lewis Distributive Lattices. Stud Logica (2024). https://doi.org/10.1007/s11225-024-10112-6
Received:
Published:
DOI: https://doi.org/10.1007/s11225-024-10112-6
Keywords
- Subintuitionistic logic
- Preservativity logics
- Weak Heyting algebras
- Heyting algebras
- Neighbourhood frames
- Duality theory