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

被引:0
|
作者
Zhuk, Dmitriy [1 ]
机构
[1] Moscow MV Lomonosov State Univ, Dept Math & Mech, Moscow, Russia
关键词
Lattice; done; self-dual function; relational clone; essential predicate; essential relation; three-valued; maximal clone;
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
The lattice of all clones of self-dual functions in three-valued logic is described. Even though this lattice contains a continuum of clones, a simple description was found. Using this description various properties of the lattice and of the clones were derived. Pairwise inclusion of the clones into each other was described, and bases for all clones were found. Also, for each clone the relation degree, the cardinalities of the corresponding principal filter and principal ideal were determined.
引用
收藏
页码:251 / 316
页数:66
相关论文
共 50 条