会议专题

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

本文根据K值逻辑函数理论,证明m=2时,满足一定条件的正则可离函数集在P<,k><”*>的极大封闭集的最小覆盖中必须出现.

多值逻辑 Sheffer函数 极大封闭集 准完备集

刘任任 陈建二 陈松乔

中南大学信息科学与工程学院(长沙);湘潭大学信息工程学院(湘潭) 中南大学信息科学与工程学院(长沙)

国内会议

2002年全国理论计算机科学学术年会

长沙

中文

30-33

2002-10-01(万方平台首次上网日期,不代表论文的发表时间)