Informace o publikaci

Foulis m-semilattices and their modules

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