科研之友
微信
新浪微博
Facebook
分享链接
摘要
A partial function f on a k-element set E-k is a partial Sheffer function if every partial function on E-k is definable in terms of f. Since this holds if and only if f belongs to no maximal partial clone on E-k, a characterization of partial Sheffer functions reduces to finding families of minimal coverings of maximal partial clones on E-k. We show that for each k >= 2, there exists a unique minimal covering.
- 出版日期2011-6
