摘要：隐含可表达性的概念是由A.V. Kuznetsov于1979年提出的，作为功能可表达性的推广。如果一个函数集合上的任何函数都有一个隐含表示，那么该函数集被称为隐含完备。本文描述了三值逻辑中所有隐含最大类的系统，并给出了隐含完备性准则。
作者：Mikhail Starostin
论文ID：2103.16631
分类：Discrete Mathematics
分类简称：cs.DM
提交时间：2021-04-01
PDF 下载： 英文版 中文版pdf翻译中