"Distributive implication groupoids"@en . "9"^^ . "Central European Journal of Mathematics" . . "Hala\u0161, Radom\u00EDr" . . . "1644-3616" . . "Distributivn\u00ED implika\u010Dn\u00ED grupoidy"@cs . . . "Distributive implication groupoids" . "Implika\u010Dn\u00ED grupoidy zobec\u0148uj\u00ED Hilbertovy algebry, kter\u00E9 jsou implika\u010Dn\u00EDmi redukty intuicionistick\u00FDch logik. V pr\u00E1ci jsou studov\u00E1ny vztahy mezi deduktivn\u00EDmi syst\u00E9my, ide\u00E1ly a kongruen\u010Dn\u00EDmi j\u00E1dry. Tyto pojmy jsou toto\u017En\u00E9 v p\u0159\u00EDpad\u011B, \u017Ee implika\u010Dn\u00ED grupoid je distributivn\u00ED."@cs . "3" . . "Distributive implication groupoids"@en . "Implication groupoids generalize Hilbert algebras, the implication reducts of intuitionistic logics. Several connections among ideals, deductive systems and congruence kernels are studied. These concepts coincide if an implication groupoid is distributive." . . "RIV/61989592:15310/08:00005648" . "Implication groupoids generalize Hilbert algebras, the implication reducts of intuitionistic logics. Several connections among ideals, deductive systems and congruence kernels are studied. These concepts coincide if an implication groupoid is distributive."@en . "distributive implication groupoid; ideal; deductive system; congruence kernel; left distributivity"@en . "15310" . . . "Distributivn\u00ED implika\u010Dn\u00ED grupoidy"@cs . "363922" . . "Z(MSM6198959214)" . . . "[9CE7D5A688FE]" . "Chajda, Ivan" . "Distributive implication groupoids" . . "PL - Polsk\u00E1 republika" . . . "5" . . "2"^^ . . "RIV/61989592:15310/08:00005648!RIV09-MSM-15310___" . "2"^^ .