The Lattice of the Clones of Self-Dual Functions in Three-Valued Logic

Abstract

The lattice of all clones of self-dual functions in three-valued logic is described in the paper. Even though this lattice contains a continuum of clones, a simple description was found. Using this description different properties of the lattice and of the clones were derived. Pair wise inclusion of the clones into each other was described, and all finitely generated clones were found. Also, for each clone the relation degree, the cardinality of the set of all clones containing this clone, and the cardinality of the set of all clones that are contained in this clone were determined.