"order algebra, functional completeness, clone"@en . "It is shown that every finite order algebra having a kind of implication, negation and one more binary operation derived from the order is functionally complete. The proof is based on the classification of maximal clones invented by I.G. Rosenberg."@en . "RIV/61989592:15310/11:33116136" . . "[6F127C3ACA65]" . . . . "It is shown that every finite order algebra having a kind of implication, negation and one more binary operation derived from the order is functionally complete. The proof is based on the classification of maximal clones invented by I.G. Rosenberg." . "RIV/61989592:15310/11:33116136!RIV13-MSM-15310___" . "Machida, Hajime" . "Completeness of Order Algebras"@en . . . . "US - Spojen\u00E9 st\u00E1ty americk\u00E9" . "15310" . "Completeness of Order Algebras" . . . . "1542-3980" . "Completeness of Order Algebras"@en . "1" . "6"^^ . "Journal of Multiple-Valued Logic and Soft Computing" . . "Hala\u0161, Radom\u00EDr" . . "Completeness of Order Algebras" . . "17" . "191382" . . "Chajda, Ivan" . "000284387300005" . "Z(MSM6198959214)" . . "3"^^ . . . "2"^^ .