"Kongruence kernels of orthoimplication algebra"@en . . . "3"^^ . "76" . . "10"^^ . "0862-9544" . "2"^^ . "RIV/61989592:15310/07:00004813" . . . . "SK - Slovensk\u00E1 republika" . . "15310" . "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 orthoimplication algebra is relatively pseudocomplemented and a simple description of the relative pseudocomplement is given." . . "Kongruence kernels of orthoimplication algebra"@en . "231-240" . "J\u00E1dra kongruenc\u00ED orthoimplika\u010Dn\u00EDch algeber."@cs . "[6E9AB989AAE6]" . "Kongruence kernels of orthoimplication algebra" . "Kongruence kernels of orthoimplication algebra" . "L\u00E4nger, H." . . . "Z(MSM6198959214)" . "J\u00E1dra kongruenc\u00ED orthoimplika\u010Dn\u00EDch algeber."@cs . "RIV/61989592:15310/07:00004813!RIV08-MSM-15310___" . . "Chajda, Ivan" . . "Acta Mathematica Universitatis Comenianae" . . "V pr\u00E1ci jsou studov\u00E1ny ortoimplika\u010Dn\u00ED algebry jako\u017Eto polosvazy ortomodul\u00E1rn\u00EDch svaz\u016F spl\u0148uj\u00EDch podm\u00EDnku kompatibility. Je dok\u00E1z\u00E1no, \u017Ee jejich kongruen\u010Dn\u00ED j\u00E1dra vz\u00E1jemn\u011B jednozna\u010Dn\u011B odpov\u00EDdaj\u00ED t\u0159\u00EDd\u00E1m kompatibiln\u00EDch p-filtr\u016F na odpov\u00EDdaj\u00EDc\u00EDch ortomodul\u00E1rn\u00EDch svazech. Je tak\u00E9 uk\u00E1z\u00E1no, \u017Ee svaz jejich kongruen\u010Dn\u00EDch jader je relativn\u011B pseudokomplement\u00E1rn\u00ED a relativn\u00ED pseudokomplementy jsou explicitn\u011B pops\u00E1ny."@cs . "Hala\u0161, Radom\u00EDr" . "orthoimplication algebras; orthomodular lattices; congruence kernels; Boolean algebras"@en . . "429623" . . "2" . . "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 orthoimplication algebra is relatively pseudocomplemented and a simple description of the relative pseudocomplement is given."@en . .