Foulis m-semilattices and their modules
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14310%2F25%3A00142414" target="_blank" >RIV/00216224:14310/25:00142414 - isvavai.cz</a>
Nalezeny alternativní kódy
RIV/61989592:15310/25:73633737
Výsledek na webu
<a href="https://www.computer.org/csdl/proceedings-article/ismvl/2025/074400a196/27EbG45NrGw" target="_blank" >https://www.computer.org/csdl/proceedings-article/ismvl/2025/074400a196/27EbG45NrGw</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1109/ISMVL64713.2025.00044" target="_blank" >10.1109/ISMVL64713.2025.00044</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Foulis m-semilattices and their modules
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Foulis m-semilattices and their modules
Popis výsledku anglicky
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.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
—
OECD FORD obor
10100 - Mathematics
Návaznosti výsledku
Projekt
<a href="/cs/project/GF25-20013L" target="_blank" >GF25-20013L: Ortogonalita a symetrie</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2025
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
2025 IEEE 55th International Symposium on Multiple-Valued Logic (ISMVL)
ISBN
9798331507442
ISSN
0195-623X
e-ISSN
2378-2226
Počet stran výsledku
6
Strana od-do
196-201
Název nakladatele
IEEE Computer Society
Místo vydání
Los Alamitos
Místo konání akce
Montreal, Canada
Datum konání akce
5. 6. 2025
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
001540510800036