Foulis Quantales and Complete Orthomodular Lattices

Warning

This publication doesn't include Institute of Computer Science. It includes Faculty of Science. Official publication website can be found on muni.cz.
Authors

BOTUR Michal PASEKA Jan SMOLKA Richard

Year of publication 2025
Type Article in Proceedings
Conference Advances in Fuzzy Logic and Technology : 14th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2025, Riga, Latvia, July 21–25, 2025, Proceedings, Part I
MU Faculty or unit

Faculty of Science

Citation
web https://link.springer.com/chapter/10.1007/978-3-031-97225-6_25
Doi https://doi.org/10.1007/978-3-031-97225-6_25
Keywords dagger category; Foulis semigroup; linear map; orthomodular lattice; quantale; quantale module; Sasaki projection
Description Our approach establishes a natural correspondence between complete orthomodular lattices and certain types of quantales. Firstly, given a complete orthomodular lattice X, we associate with it a Foulis quantale Lin(X) consisting of its endomorphisms. This allows us to view X as a left module over Lin(X), thereby introducing a novel fuzzy-theoretic perspective to the study of complete orthomodular lattices. Conversely, for any Foulis quantale Q, we associate a complete orthomodular lattice [Q] that naturally forms a left Q-module. Furthermore, there exists a canonical homomorphism of Foulis quantales from Q to Lin([Q]).
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.

More info