. . . "O syst\u00E9mech kongruenc\u00ED na hlavn\u00EDch filterch ortomodul\u00E1rn\u00EDch implika\u010Dn\u00EDch algeber"@cs . "13"^^ . . . "4" . "RIV/61989592:15310/07:00005653!RIV09-MSM-15310___" . "Z(MSM6198959214)" . "Jsou pops\u00E1ny deduktivn\u00ED syst\u00E9my ortoimplika\u010Dn\u00EDch algeber p\u0159es jejich restrikce na hlavn\u00ED filtry."@cs . . "132" . . "On systems of congruences on principal filters of orthomodular implication algebras"@en . . "Plojhar, Lubo\u0161" . "0862-7959" . . . "orthoimplication algebra; orthomodular lattice; p-filter"@en . "Hala\u0161, Radom\u00EDr" . "On systems of congruences on principal filters of orthomodular implication algebras" . . . "1"^^ . "CZ - \u010Cesk\u00E1 republika" . "RIV/61989592:15310/07:00005653" . "O syst\u00E9mech kongruenc\u00ED na hlavn\u00EDch filterch ortomodul\u00E1rn\u00EDch implika\u010Dn\u00EDch algeber"@cs . "439314" . "2"^^ . "Mathematica Bohemica" . "[5B6B31A58144]" . "Deductive systems of orthomodular implication algebras are characterized by their restriction to principal filters." . . . . "15310" . "On systems of congruences on principal filters of orthomodular implication algebras"@en . "Deductive systems of orthomodular implication algebras are characterized by their restriction to principal filters."@en . "On systems of congruences on principal filters of orthomodular implication algebras" .