Orthocomplemented lattices with a symmetric difference

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11210%2F09%3A00200726" target="_blank" >RIV/00216208:11210/09:00200726 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Orthocomplemented lattices with a symmetric difference
Popis výsledku v původním jazyce
Modelling an abstract version of the set-theoretic operation of symmetric difference, we first introduce the class of orthocomplemented difference lattices. We then exhibit examples of ODLs and investigate their basic properties, analyse an appropriate version of ideals and valuations in ODLs and show that the set-representable ODLs form a variety. We finally investigate the question of constructing ODLs from Boolean algebras and obtain, as a by-product, examples of ODLs that are not set-representable but that ?live? on set-representable OMLs.
Název v anglickém jazyce
Orthocomplemented lattices with a symmetric difference
Popis výsledku anglicky
Modelling an abstract version of the set-theoretic operation of symmetric difference, we first introduce the class of orthocomplemented difference lattices. We then exhibit examples of ODLs and investigate their basic properties, analyse an appropriate version of ideals and valuations in ODLs and show that the set-representable ODLs form a variety. We finally investigate the question of constructing ODLs from Boolean algebras and obtain, as a by-product, examples of ODLs that are not set-representable but that ?live? on set-representable OMLs.

Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
BA - Obecná matematika
OECD FORD obor
—

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

Podobné výsledky(10)