"BCC-algebra; BCK-algebra; MV-algebra."@en . . "461250" . "Demonstratio Mathematica" . . "Chajda, Ivan" . . "0420-1213" . "40" . . "759-768" . "When is a BCC-algebra equivalent to an MV-algebra?" . "3"^^ . "RIV/61989592:15310/07:00004738" . "The aim of this paper is to characterize BCC-algebras which are term equivalent to MV-algebras. It turns out that they are just the commutative BCC-algebras. Further, we characterize congruence kernels as deductive systems. The explicit description of principal deductive systems enables us to prove that every subdirectly irreducible bounded commutative BCC-algebra is a chain." . "Hala\u0161, Radom\u00EDr" . "10"^^ . . "3"^^ . . . "Jsou charakterizov\u00E1ny BCC-algebry termov\u011B ekvivalentn\u00ED s MV-algebrami. D\u00E1le jsou pops\u00E1na kongruen\u010Dn\u00ED j\u00E1dra jako deduktivn\u00ED syst\u00E9my, co\u017E umo\u017E\u0148uje uk\u00E1zat, \u017Ee subdirektn\u011B ireducibiln\u00ED algebry jsou line\u00E1rn\u011B uspo\u0159\u00E1dan\u00E9."@cs . "When is a BCC-algebra equivalent to an MV-algebra?" . . "K\u00FChr, Jan" . . "4" . "RIV/61989592:15310/07:00004738!RIV08-MSM-15310___" . "Kdy je BCC-algebra ekvivalentn\u00ED s MV-algebrou?"@cs . "Z(MSM6198959214)" . "[135559513160]" . . . "15310" . . "The aim of this paper is to characterize BCC-algebras which are term equivalent to MV-algebras. It turns out that they are just the commutative BCC-algebras. Further, we characterize congruence kernels as deductive systems. The explicit description of principal deductive systems enables us to prove that every subdirectly irreducible bounded commutative BCC-algebra is a chain."@en . . . . "When is a BCC-algebra equivalent to an MV-algebra?"@en . "When is a BCC-algebra equivalent to an MV-algebra?"@en . . "PL - Polsk\u00E1 republika" . . "Kdy je BCC-algebra ekvivalentn\u00ED s MV-algebrou?"@cs .