Abstract
A Kleene lattice is a distributive lattice equipped with an antitone involution and satisfying the so-called normality condition. These lattices were introduced by J. A. Kalman. We extended this concept also for posets with an antitone involution. In our recent paper (Chajda, Länger and Paseka, in: Proceeding of 2022 IEEE 52th International Symposium on Multiple-Valued Logic, Springer, 2022), we showed how to construct such Kleene lattices or Kleene posets from a given distributive lattice or poset and a fixed element of this lattice or poset by using the so-called twist product construction, respectively. We extend this construction of Kleene lattices and Kleene posets by considering a fixed subset instead of a fixed element. Moreover, we show that in some cases, this generating poset can be embedded into the resulting Kleene poset. We investigate the question when a Kleene poset can be represented by a Kleene poset obtained by the mentioned construction. We show that a direct product of representable Kleene posets is again representable and hence a direct product of finite chains is representable. This does not hold in general for subdirect products, but we show some examples where it holds. We present large classes of representable and non-representable Kleene posets. Finally, we investigate two kinds of extensions of a distributive poset \({\textbf{A}}\), namely its Dedekind-MacNeille completion \({{\,\mathrm{\textbf{DM}}\,}}({\textbf{A}})\) and a completion \(G({\textbf{A}})\) which coincides with \({{\,\mathrm{\textbf{DM}}\,}}({\textbf{A}})\) provided \({\textbf{A}}\) is finite. In particular we prove that if \({\textbf{A}}\) is a Kleene poset then its extension \(G({\textbf{A}})\) is also a Kleene lattice. If the subset X of principal order ideals of \({\textbf{A}}\) is involution-closed and doubly dense in \(G({\textbf{A}})\) then it generates \(G({\textbf{A}})\) and it is isomorphic to \({\textbf{A}}\) itself.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Data Availability
Data sharing is not applicable to this article as no datasets were generated or analysed during the current study.
References
Aglianò, P., and M. A. Marcos, Varieties of K-lattices, Fuzzy Sets and Systems 442: 222–248, 2022.
Busaniche, M., and R. Cignoli, The subvariety of commutative residuated lattices represented by twist-products, Algebra Universalis 71: 5–22, 2014.
Chajda, I., A note on pseudo-Kleene algebras, Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica 55: 39–45, 2016.
Chajda, I., and H. Langer, Kleene posets and pseudo-Kleene posets, Miskolc Mathematical Notes 23: 155–174, 2022.
Chajda, I., H. Langer, and J. Paseka, Constructions of Kleene lattices, in Proceeding of 2022 IEEE 52th International Symposium on Multiple-Valued Logic, Springer, 2022, pp. 88–93.
Cignoli, R., Injective De Morgan and Kleene algebras, Proceedings of the American Mathematical Society 47: 269–278, 1975.
Kalman, J. A., Lattices with involution, Transactions of the American Mathematical Society 87: 485–491, 1958.
Niederle, J., Boolean and distributive ordered sets: characterization and representation by sets, Order 12: 189–210, 1995.
Zhu, D., Kleene posets and Kleene algebras, The Journal of Fuzzy Mathematics 6: 533–538, 1998.
Acknowledgements
The authors would like to express their gratitude to the anonymous reviewers for the careful check and valuable comments. Support of the research of all authors by the Austrian Science Fund (FWF), project I 4579-N, and the Czech Science Foundation (GAČR), project 20-09869L, entitled “The many facets of orthomodularity”, is gratefully acknowledged.
Funding
Open access publishing supported by the National Technical Library in Prague.
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.
Special Issue: Strong and weak Kleene logics
Edited by Gavin St. John and Francesco Paoli.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Chajda, I., Länger, H. & Paseka, J. Representability of Kleene Posets and Kleene Lattices. Stud Logica (2023). https://doi.org/10.1007/s11225-023-10080-3
Published:
DOI: https://doi.org/10.1007/s11225-023-10080-3
Keywords
- Kleene lattice
- Normality condition
- Kleene poset
- Pseudo-Kleene poset
- Representable Kleene lattice
- Embedding
- Twist-product
- Dedekind-MacNeille completion