Constructions of Kleene lattices

Kód výsledku v 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>
Nalezeny alternativní kódy
RIV/00216224:14310/22:00129394
Výsledek na webu
<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>

Jazyk výsledku
angličtina
Název v původním jazyce
Constructions of Kleene lattices
Popis výsledku v původním jazyce
We present an easy construction producing a Kleene lattice K = (K, (sic), (sic), ') 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.
Název v anglickém jazyce
Constructions of Kleene lattices
Popis výsledku anglicky
We present an easy construction producing a Kleene lattice K = (K, (sic), (sic), ') 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.

Projekt
<a href="/cs/project/GF20-09869L" target="_blank" >GF20-09869L: Ortomodularita z různých pohledů</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění
2022
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ů

Název statě ve sborníku
2022 IEEE 52ND INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2022)
ISBN
978-1-66542-395-3
ISSN
0195-623X
e-ISSN
—
Počet stran výsledku
6
Strana od-do
88-93
Název nakladatele
IEEE Computer Society
Místo vydání
Los Alamitos
Místo konání akce
Los Alamitos
Datum konání akce
18. 5. 2022
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
000851579100014

Podobné výsledky(10)