2022
Constructions of Kleene lattices
CHAJDA, Ivan; Helmut LAENGER a Jan PASEKAZákladní údaje
Originální název
Constructions of Kleene lattices
Autoři
CHAJDA, Ivan; Helmut LAENGER a Jan PASEKA
Vydání
Los Alamitos, CA, 2022 IEEE 52ND INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2022), od s. 88-93, 6 s. 2022
Nakladatel
IEEE Computer Society
Další údaje
Jazyk
angličtina
Typ výsledku
Stať ve sborníku
Obor
10101 Pure mathematics
Stát vydavatele
Spojené státy
Utajení
není předmětem státního či obchodního tajemství
Forma vydání
tištěná verze "print"
Odkazy
Označené pro přenos do RIV
Ano
Kód RIV
RIV/00216224:14310/22:00129394
Organizační jednotka
Přírodovědecká fakulta
ISBN
978-1-6654-2395-3
ISSN
UT WoS
EID Scopus
Klíčová slova anglicky
Full twist-product; Kleene lattice; representation
Štítky
Příznaky
Mezinárodní význam, Recenzováno
Změněno: 24. 1. 2023 12:21, Mgr. Marie Novosadová Šípková, DiS.
Anotace
V originále
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ávaznosti
| GF20-09869L, projekt VaV |
|