On the α-superposition of functions of a k-valued logic

被引：0

作者：

A. L. Shabunin

机构：

[1] Chuvash State University,

来源：

Siberian Mathematical Journal | 2007年 / 48卷

关键词：

many-valued logic; complete systems of functions; bounded superposition;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

We reveal a relation between the operations of α-completion and closure for the systems of functions of a k-valued logic. For k = 3, 4 we construct the α-bases consisting of two binary operations. We prove that the complete system T of functions of a 4-valued logic containing all permutations of the set E4 = {0, 1, 2, 3} and the operation of addition modulo 4 is not α-complete, whereas its α-completion [Tα] will be an α-complete system.

引用

页码：354 / 368

页数：14