Finite Algebra and Multiple-valued Logic

affine alge ALGEBRA AND MULTIPLE-VALUED arbitrary arity binary operations BOLYAI FINITE ALGEBRA Boolean functions Chajda clone clopen closed classes closed set COLLOQUIA MATHEMATICA SOCIETATIS congruence congruence relations contains COROLLARY defined denote distributive lattices elements equational equivalent exists F-transducer finite fields func function f functionally complete gebras groupoid Hence homomorphism idempotent implies induction integer isomorphic JÁNOS BOLYAI JÁNOS BOLYAI FINITE Lemma Let f linear Mal'cev mapping Math MATHEMATICA SOCIETATIS JÁNOS maximal monoid morphisms MULTIPLE-VALUED LOGIC n-ary n-clone natural number non-trivial permutation polynomial preserves PROOF PROPOSITION prove relation residuated lattice Russian satisfies SOCIETATIS JÁNOS BOLYAI subalgebra subset symbols SZEGED SZEGED HUNGARY Szendrei term function ternary THEOREM theory tions tolerance trivial unary universal algebra variables variety vector weak automorphism