Title :
Semirigid sets of quasilinear clones
Author :
Nozaki, Akihiro ; Pogosyan, Grant ; Miyakawa, Masahiro ; Rosenberg, Ivo G.
Author_Institution :
Int. Christian Univ., Tokyo, Japan
Abstract :
Let k be a prime and G a Galois field on k :={0,1,. . .,k-1}. The set of all quasilinear (or affine with respect to G) k-valued logic functions is a maximal clone called quasilinear. A family of quasilinear clones on k is semirigid if the clones of the family share exactly the constant functions and the projections. Semirigid sets of quasilinear clones are needed for the classification of bases of k-valued logic, which is unknown for k>3. The authors characterize all semirigid sets of quasilinear clones. In particular, for k=5 they describe all semirigid triples of quasilinear clones and show that no such pair exists. For every prime k>5 they exhibit a semirigid pair of quasi-linear clones. The techniques used are based on elementary number theory and on polynomials over G
Keywords :
many-valued logics; number theory; polynomials; Galois field; constant functions; elementary number theory; k-valued logic functions; maximal clone; polynomials; projections; quasilinear clones; semirigid sets; Algebra; Cloning; Educational institutions; Galois fields; Lattices; Logic; Polynomials;
Conference_Titel :
Multiple-Valued Logic, 1993., Proceedings of The Twenty-Third International Symposium on
Conference_Location :
Sacramento, CA
Print_ISBN :
0-8186-3350-6
DOI :
10.1109/ISMVL.1993.289573