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”

Constructions of Kleene lattices

The result's identifiers

  • Result code in IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F22%3A73616909" target="_blank" >RIV/61989592:15310/22:73616909 - isvavai.cz</a>

  • Alternative codes found

    RIV/00216224:14310/22:00129394

  • Result on the web

    <a href="http://dx.doi.org/10.1109/ISMVL52857.2022.00020" target="_blank" >http://dx.doi.org/10.1109/ISMVL52857.2022.00020</a>

  • DOI - Digital Object Identifier

    <a href="http://dx.doi.org/10.1109/ISMVL52857.2022.00020" target="_blank" >10.1109/ISMVL52857.2022.00020</a>

Alternative languages

  • Result language

    angličtina

  • Original language name

    Constructions of Kleene lattices

  • Original language description

    We present an easy construction producing a Kleene lattice K = (K, (sic), (sic), &apos;) from an arbitrary distributive lattice L = (L, V, Lambda) and a non-empty subset of L. We show that L can be embedded into K and compute vertical bar K vertical bar under certain additional assumptions. We prove that every finite chain considered as a Kleene lattice can be represented in this way and that this construction preserves direct products. Moreover, we demonstrate that certain Kleene lattices that are ordinal sums of distributive lattices are representable. Finally, we prove that not every Kleene lattice is representable.

  • Czech name

  • Czech description

Classification

  • Type

    D - Article in proceedings

  • CEP classification

  • OECD FORD branch

    10101 - Pure mathematics

Result continuities

  • Project

    <a href="/en/project/GF20-09869L" target="_blank" >GF20-09869L: The many facets of orthomodularity</a><br>

  • Continuities

    P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Others

  • Publication year

    2022

  • 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

    2022 IEEE 52ND INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2022)

  • ISBN

    978-1-66542-395-3

  • ISSN

    0195-623X

  • e-ISSN

  • Number of pages

    6

  • Pages from-to

    88-93

  • Publisher name

    IEEE Computer Society

  • Place of publication

    Los Alamitos

  • Event location

    Los Alamitos

  • Event date

    May 18, 2022

  • Type of event by nationality

    WRD - Celosvětová akce

  • UT code for WoS article

    000851579100014