Foulis m-semilattices and their modules

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Přírodovědeckou fakultu. Oficiální stránka publikace je na webu muni.cz.
Autoři

BOTUR Michal PASEKA Jan LEKÁR Milan

Rok publikování 2025
Druh Článek ve sborníku
Konference 2025 IEEE 55th International Symposium on Multiple-Valued Logic (ISMVL)
Fakulta / Pracoviště MU

Přírodovědecká fakulta

Citace
www https://www.computer.org/csdl/proceedings-article/ismvl/2025/074400a196/27EbG45NrGw
Doi https://doi.org/10.1109/ISMVL64713.2025.00044
Klíčová slova quantale; quantale module; orthomodular lattice; linear map; Sasaki projection; Foulis m-semilattice; msemilattice module
Popis Building upon results of Jacobs, we show that the category OMLatLin of orthomodular lattices and linear maps forms a dagger category. For each orthomodular lattice X, we construct a Foulis m-semilattice Lin(X) composed of endomorphisms of X. This m-semilattice acts as a quantale, enabling us to regard X as a left Lin(X)-module. Our novel approach introduces a fuzzy-theoretic dimension to the theory of orthomodular lattices.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info