Abstract
An orthogonality space is a set equipped with a symmetric, irreflexive relation called orthogonality. Every orthogonality space has an associated complete ortholattice, called the logic of the orthogonality space. To every poset, we associate an orthogonality space consisting of proper quotients (that means, nonsingleton closed intervals), equipped with a certain orthogonality relation. We prove that a finite bounded poset is a lattice if and only if the logic of its orthogonality space is an orthomodular lattice. We prove that that a bounded poset is a chain if and only if the logic of the associated orthogonality space is a Boolean algebra.
Similar content being viewed by others
Data Availability
Not applicable.
Code Availability
Not applicable.
References
Dacey, J.C. Jr: Orthomodular spaces. PhD thesis University of Massachusetts Amherst (1968)
Birkhoff, G.: Lattice Theory. American Mathematical Society, Providence (1948)
Lovász, L.: Kneser’s conjecture, chromatic number, and homotopy. J. Comb. Theory Ser. A. 25(3), 319–324 (1978)
Walker, J.W.: From graphs to ortholattices and equivariant maps. J. Comb. Theory Ser. B. 35(2), 171–192 (1983)
Wilce, A.: Test Spaces. In: Engesser, K., Gabbay, D. M., Lehmann, D (eds.) Handbook of quantum logic and quantum structures: quantum structures, pp 443–549. Elsevier, Amsterdam (2011)
Paseka, J., Vetterlein, T.: Normal orthogonality spaces. Journal of Mathematical Analysis and Applications 507(1). https://doi.org/10.1016/j.jmaa.2021.125730 (2022)
Paseka, J., Vetterlein, T.: Categories of orthogonality spaces. Journal of Pure and Applied Algebra 226(3). https://doi.org/10.1016/j.jpaa.2021.106859 (2022)
MacNeille, H.M.: Partially ordered sets. Trans. Am. Math. Soc. 42 (3), 416–460 (1937)
Kalmbach, G.: Orthomodular lattices do not satisfy any special lattice equation. Arch. Math. 28(1), 7–8 (1977)
Cignoli, R.: Deductive systems and congruence relations in ortholattices. In: Math. Logic, Proc. 1St Brazil Conf, Dekker, New York (1978)
Cattaneo, G., Manià, A.: Abstract orthogonality and orthocomplementation. Math. Proc. Camb. Philos. Soc. 76(1), 115–132 (1974). https://doi.org/10.1017/S0305004100048763
Funding
This research is supported by grants VEGA 2/0142/20 and 1/0006/19, Slovakia and by the Slovak Research and Development Agency under the contracts APVV-18-0052 and APVV-20-0069.
Author information
Authors and Affiliations
Contributions
There is a single author.
Corresponding author
Ethics declarations
Conflict of Interest/Competing Interest
None.
Other support
The author expresses his gratitude for the possibility to present this material on the conference SSAOS 2022 in Tatranská Lomnica.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Jenča, G. Orthogonality Spaces Associated with Posets. Order 40, 575–588 (2023). https://doi.org/10.1007/s11083-022-09623-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11083-022-09623-5