"implication groupoid;ideal;deductive system;congruencekernel;quasi-distributivity"@en . "8"^^ . . "Hala\u0161, Radom\u00EDr" . . "Quasi-distributive implication groupoids"@en . "Zav\u00E1d\u00ED se tzv. kvazidistributivn\u00ED implika\u010Dn\u00ED grupoidy, kter\u00E9 jsou zobecn\u011Bn\u00EDm distributivn\u00EDch implika\u010Dn\u00EDch grupoid\u016F."@cs . "Distributive implication groupoids as an essential generalization ofthe implication reduct of intuitionistic logic were introduced and studiedby the second author and I.Chajda. It has been proved that for thesealgebras ideals, deductive systems and congruence kernels coincide. In thepaper the same connection is shown even if the implication groupoid isquasi-distributive."@en . "15310" . "Z(MSM 153100011)" . . . . "[32F5A6AF0167]" . "Distributive implication groupoids as an essential generalization ofthe implication reduct of intuitionistic logic were introduced and studiedby the second author and I.Chajda. It has been proved that for thesealgebras ideals, deductive systems and congruence kernels coincide. In thepaper the same connection is shown even if the implication groupoid isquasi-distributive." . . "Emanovsk\u00FD, Petr" . . . . "624428" . "5" . "East-West Journal of Mathematics" . "0125-2526" . "Kvasidistributivn\u00ED implika\u010Dn\u00ED grupoidy"@cs . "Kvasidistributivn\u00ED implika\u010Dn\u00ED grupoidy"@cs . "151-158" . . . . . "Quasi-distributive implication groupoids" . "Quasi-distributive implication groupoids" . . "2"^^ . . . "2"^^ . "Quasi-distributive implication groupoids"@en . "RIV/61989592:15310/03:00002084!RIV/2005/MSM/153105/N" . . . "2" . "RIV/61989592:15310/03:00002084" . "TH - Thajsk\u00E9 kr\u00E1lovstv\u00ED" .