Maximal and Minimal Closed Classes in Multiple-valued Logic

被引:0
|
作者
Waldhauser, Tamas [1 ]
机构
[1] Univ Szeged, Bolyai Inst, Aradi Vertanuk Tere 1, H-6720 Szeged, Hungary
关键词
Class of operations; composition of operations; subfunction; minor; equational class; clone; maximal clone; minimal clone;
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
We consider classes of operations in multiple-valued logic that are closed under composition as well as under permutation of variables, identification of variables (diagonalization) and introduction of inessential variables (cylindrification). Such closed classes on a given finite set form a complete lattice that includes the lattice of clones as the principal filter above the trivial clone. We determine all maximal closed classes; it turns out that there is only one family of closed classes besides Rosenberg's six families of maximal clones. For minimal closed classes we prove an analogon of Rosenberg's five-type classification of minimal clones and we describe explicitly the unary minimal closed classes.
引用
收藏
页码:1 / 17
页数:17
相关论文
共 50 条