"RIV/61989592:15310/05:00002127" . . "RIV/61989592:15310/05:00002127!RIV06-MSM-15310___" . . "7"^^ . . "US - Spojen\u00E9 st\u00E1ty americk\u00E9" . "Ideals and D-systems in orthoimplication algebras"@en . . . "Hala\u0161, Radom\u00EDr" . "Journal of Multiple-Valued Logic and soft Computing" . "Ide\u00E1ly a D-syst\u00E9my v ortoimplika\u010Dn\u00EDch algebr\u00E1ch"@cs . "Congrruences of orthomodular implication algebras are described by means of D-systems and ideal terms."@en . "Z(MSM6198959214)" . . . "Ideals and D-systems in orthoimplication algebras"@en . . "Kongruence v ortomodul\u00E1rn\u00EDch implika\u010Dn\u00EDch algebr\u00E1ch jsou pops\u00E1ny pomoc\u00ED D-syst\u00E9m\u016F a ide\u00E1lov\u00FDch term\u016F."@cs . "[B9C7D7488234]" . "Congrruences of orthomodular implication algebras are described by means of D-systems and ideal terms." . . . "Ide\u00E1ly a D-syst\u00E9my v ortoimplika\u010Dn\u00EDch algebr\u00E1ch"@cs . . . . "1001-1007" . . "524090" . "Ideals and D-systems in orthoimplication algebras" . "3-4" . "1542-3980" . "Ideals and D-systems in orthoimplication algebras" . "1"^^ . . "11" . "15310" . "1"^^ . . "congruence; ideal; implication algebra; orthomodular lattice"@en .