A rank of implicit representations over a class of three-valued logic functions

被引：0
|
作者：
Mikhailets E.V. [1 ]
机构：
[1] Moscow State University, Faculty of Mechanics and Mathematics, Leninskie Gory
来源：
Moscow University Mathematics Bulletin | 2008年 / 63卷 / 5期
基金：
俄罗斯基础研究基金会;
关键词：
Partial Order; Boolean Function; Rank Function; Implicit Representation; Implicit Equation;
D O I：
10.3103/S0027132208050136
中图分类号：
学科分类号：
摘要：
It is shown that among implicitly complete systems of functions of the three-valued logic P 3 there exists a system W such that the rank function m W(n) expressing the least number of equations sufficient for implicit determination of any function of n variables from P 3 has an exponential order of growth: for all n. © 2008 Allerton Press, Inc.
引用
收藏
页码：221 / 223
页数：2
相关论文
共 50 条
12345