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), ') 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