All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Foulis m-semilattices and their modules

The result's identifiers

  • Result code in 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>

  • Alternative codes found

    RIV/61989592:15310/25:73633737

  • Result on the web

    <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>

Alternative languages

  • Result language

    angličtina

  • Original language name

    Foulis m-semilattices and their modules

  • Original language description

    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.

  • Czech name

  • Czech description

Classification

  • Type

    D - Article in proceedings

  • CEP classification

  • OECD FORD branch

    10100 - Mathematics

Result continuities

  • Project

    <a href="/en/project/GF25-20013L" target="_blank" >GF25-20013L: Orthogonality and Symmetry</a><br>

  • Continuities

    P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Others

  • Publication year

    2025

  • Confidentiality

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Data specific for result type

  • Article name in the collection

    2025 IEEE 55th International Symposium on Multiple-Valued Logic (ISMVL)

  • ISBN

    9798331507442

  • ISSN

    0195-623X

  • e-ISSN

    2378-2226

  • Number of pages

    6

  • Pages from-to

    196-201

  • Publisher name

    IEEE Computer Society

  • Place of publication

    Los Alamitos

  • Event location

    Montreal, Canada

  • Event date

    Jun 5, 2025

  • Type of event by nationality

    WRD - Celosvětová akce

  • UT code for WoS article

    001540510800036