. . . "Chajda, Ivan" . . "000314754000006" . "DE - Spolkov\u00E1 republika N\u011Bmecko" . "Ideals and congruences of basic algebras"@en . "MV-algebras as well as orthomodular lattices can be seen as a particular case of so-called ''basic algebras''. The class of basic algebras is an ideal variety. In the paper, we give an internal characterization of congruence kernels (ideals) and find a finite basis of ideal terms, with focus on monotone and effect basic algebras. We also axiomatize basic algebras that are subdirect products of linearly ordered ones." . "Ideals and congruences of basic algebras"@en . "RIV/61989592:15310/13:33146319!RIV14-MSM-15310___" . . "K\u00FChr, Jan" . "http://link.springer.com/article/10.1007%2Fs00500-012-0915-4" . . "RIV/61989592:15310/13:33146319" . . "MV-algebras as well as orthomodular lattices can be seen as a particular case of so-called ''basic algebras''. The class of basic algebras is an ideal variety. In the paper, we give an internal characterization of congruence kernels (ideals) and find a finite basis of ideal terms, with focus on monotone and effect basic algebras. We also axiomatize basic algebras that are subdirect products of linearly ordered ones."@en . . "2"^^ . "10"^^ . "Ideals and congruences of basic algebras" . "[9EA0068B571C]" . "2"^^ . . . "O" . . . "Soft Computing: a fusion of foundations, methodologies and applications" . . . "ideal term; ideal; congruence; Basic algebra"@en . "3" . "78642" . . . "15310" . "1432-7643" . "17" . "Ideals and congruences of basic algebras" . . "10.1007/s00500-012-0915-4" .