关于部分K值逻辑Sheffer函数(Ⅳ)* (2004年)

【文件属性】：

文件名称：关于部分K值逻辑Sheffer函数(Ⅳ)* (2004年)

文件大小：550KB

文件格式：PDF

更新时间：2024-06-05 13:36:27

自然科学 论文

根据部分多值逻辑的完备性理论[罗铸楷等]，证明了m=2时的一类正则可离函数集在P*k的极大封闭集之最小覆盖中必不出现。