. "[F0318F549615]" . . "399-412" . "Deductive systems and Galois connections"@en . "Kluwer" . . . . "The concept of a b-deductive system is introduced. It is shown a connectionbetween b-deductive systems and congruence kernels. We define a Galoisconnection between sets of binary term functions and systems of subsets of agiven algebra.We study closed sets\u00B4with respect to induced closure operatorsand algebraic properties of systems of subsets related to a given termfunction."@en . "Deductive systems and Galois connections" . "Deductive systems and Galois connections"@en . "500"^^ . "RIV/61989592:15310/04:00002065" . "15310" . . "Galois Connections and Applications" . "Deductive systems and Galois connections" . "559552" . "Chajda, Ivan" . . "2"^^ . "Dordrecht" . "RIV/61989592:15310/04:00002065!RIV/2005/MSM/153105/N" . . "Hala\u0161, Radom\u00EDr" . "2"^^ . "Z(MSM 153100011)" . "Deduktivn\u00ED syst\u00E9my a Galoisovy konexe"@cs . . . "1-4020-1898-3" . "Neuveden" . "The concept of a b-deductive system is introduced. It is shown a connectionbetween b-deductive systems and congruence kernels. We define a Galoisconnection between sets of binary term functions and systems of subsets of agiven algebra.We study closed sets\u00B4with respect to induced closure operatorsand algebraic properties of systems of subsets related to a given termfunction." . . . . "Deduktivn\u00ED syst\u00E9my a Galoisovy konexe"@cs . "deductive system;Galois connection"@en . "Je zaveden pojem b-deduktivn\u00EDho syst\u00E9mu a studuje se vztah mezi b-deduktivn\u00EDmi syst\u00E9my a kongruen\u010Dn\u00EDmi j\u00E1dry. Definuje se Galoisova konexe mezi mno\u017Einami bin\u00E1rn\u00EDch termov\u00FDch funkc\u00ED a syst\u00E9my podmno\u017Ein dan\u00E9 algebry. Studuj\u00ED se uzav\u0159en\u00E9 mno\u017Einy vzhledem k indukovan\u00FDm uz\u00E1v\u011Brov\u00FDm oper\u00E1tor\u016Fm a algebraick\u00E9 vlastnosti syst\u00E9m\u016F podmno\u017Ein souvisej\u00EDc\u00EDch s danou termovou funkc\u00ED."@cs . . .