Jádra kongruencí orthoimplikačních algeber.

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F07%3A00004813" target="_blank" >RIV/61989592:15310/07:00004813 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Kongruence kernels of orthoimplication algebra
Popis výsledku v původním jazyce
Abstracting from certain properties of the iplication operation in Boolean algebras leads to so-called orthoimplication algebras. Thece are in a natural one-to-one correspondence with families of compatible orthomodular lattices. It is proved that congruence kernels of orthoimplication algebras are in a natural one-to-one correspondence with families of compatible p-filters on the corresponding orthomodular lattices. Finally, it is proved that the lattice of all congruence kernals of an orthoimplicationalgebra is relatively pseudocomplemented and a simple description of the relative pseudocomplement is given.
Název v anglickém jazyce
Kongruence kernels of orthoimplication algebra
Popis výsledku anglicky
Abstracting from certain properties of the iplication operation in Boolean algebras leads to so-called orthoimplication algebras. Thece are in a natural one-to-one correspondence with families of compatible orthomodular lattices. It is proved that congruence kernels of orthoimplication algebras are in a natural one-to-one correspondence with families of compatible p-filters on the corresponding orthomodular lattices. Finally, it is proved that the lattice of all congruence kernals of an orthoimplicationalgebra is relatively pseudocomplemented and a simple description of the relative pseudocomplement is given.

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í
2007
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)