Orthocomplemented lattices with a symmetric difference

Kód výsledku v IS VaVaI

RIV/00216208:11210/09:00200726 - isvavai.cz

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_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

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ů

Název periodika

Algebra Universalis

ISSN

0002-5240

e-ISSN

—

Svazek periodika

60

Číslo periodika v rámci svazku

2

Stát vydavatele periodika

CH - Švýcarská konfederace

Počet stran výsledku

31

Strana od-do

—

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—