Structure of clones in the precomplete class of self-dual functions in three-valued logic

被引:1
|
作者
Zhuk, D. N. [1 ]
机构
[1] Moscow MV Lomonosov State Univ, Fac Mech & Math, Moscow 119992, Russia
关键词
Binary Relation; Dual Function; DOKLADY Mathematic; Closure Operator; Countable Family;
D O I
10.1134/S1064562411020426
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
Structure of clones in the precomplete class of self-dual functions in three-valued logic is studied. Three families of clones are defined such as finite, countable, and continual, and this description is used to establish various properties of the lattice. A set of all positive integers is considered whose elements are called functions in three-valued logic. The closure operator with respect to superposition on the set is defined in the standard manner. Predicates are represented as matrices with the columns given by tuples at which the predicate takes a value of 1. Each set of predicates is associated with the set of predicates that are dual with respect to the replacement of zero by one. Conditions that define a one-to-one correspondence between the elements of the set of tuples and the elements of the set of all predicates are found.
引用
收藏
页码:254 / 257
页数:4
相关论文
共 50 条