关于部分K逻辑Sheffer函数(Ⅰ)

摘要：

根据部分多值逻辑的完备性理论”1”，该文证明了m=2时的一类正则可离函数集成P<”*><,K>中极大封闭集之最小覆盖中必需出现。

关键词： 多值逻辑 完备性 Sheffer函数 极大封闭集

作者: 欧阳建权 刘任任

作者单位: 湘潭大学信息工程学院

会议类型: 国内会议

会议名称: 第九届全国多值逻辑与模糊逻辑学术会议

会议地点: 成都

会议语种:中文

页码: 59～65

在线出版日期: 2000-12-01（万方平台首次上网日期，不代表论文的发表时间）