Kongruence kernels of orthoimplication algebra

Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Kongruence kernels of orthoimplication algebra
Original language description
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.
Czech name
Jádra kongruencí orthoimplikačních algeber.
Czech description
V práci jsou studovány ortoimplikační algebry jakožto polosvazy ortomodulárních svazů splňujích podmínku kompatibility. Je dokázáno, že jejich kongruenční jádra vzájemně jednoznačně odpovídají třídám kompatibilních p-filtrů na odpovídajících ortomodulárních svazech. Je také ukázáno, že svaz jejich kongruenčních jader je relativně pseudokomplementární a relativní pseudokomplementy jsou explicitně popsány.

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
BA - General mathematics
OECD FORD branch
—

Publication year
2007
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)