DocumentCode
1938003
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
fYear
1994
fDate
25-27 May 1994
Firstpage
306
Lastpage
313
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Multiple-Valued Logic, 1994. Proceedings., Twenty-Fourth International Symposium on
Conference_Location
Boston, MA
Print_ISBN
0-8186-5650-6
Type
conf
DOI
10.1109/ISMVL.1994.302186
Filename
302186
Link To Document