Title :
Hereditary clones of multiple valued logic algebra
Author :
Pogosyan, Grant ; Nozaki, Akihiro ; Miyakawa, Masahiro ; Rosenberg, Ivo G.
Author_Institution :
Div. of Natural Sci., Int. Christian Univ., Tokyo, Japan
Abstract :
We discuss relationships between properties and operations over the set Ω of MVL functions. Closed properties are those invariant under the classical closure operation. A new type of properties, called hereditary, is defined, as well as hereditary closure. We calculate the ratio of hereditary properties, describe the families of maximal hereditary clones, and give a formula for their enumeration. We show that there are exactly eleven such clones in ternary logic. For Boolean algebra the lattice of all hereditary classes is finite, and we describe it completely. Meanwhile, starting from the three valued case there are still a continuum number of clones
Keywords :
Boolean algebra; ternary logic; Boolean algebra; closed properties; hereditary clones; hereditary closure; multiple valued logic algebra; ternary logic; Algebra; Cloning; Educational institutions; Information science; Lattices; Multivalued logic;
Conference_Titel :
Multiple-Valued Logic, 1994. Proceedings., Twenty-Fourth International Symposium on
Conference_Location :
Boston, MA
Print_ISBN :
0-8186-5650-6
DOI :
10.1109/ISMVL.1994.302186