辽宁工程技术大学学报（自然科学版）2010，Vol.29Issue(5)：767-770,4.
格值命题逻辑LP(X)中的语义归结方法
Semantic resolution method on lattice-valued propositional logic LP(X)
摘要
关键词
自动推理/语义归结方法/格值逻辑/格蕴涵代数分类
数理科学引用本文复制引用
张家锋,徐扬..格值命题逻辑LP(X)中的语义归结方法[J].辽宁工程技术大学学报（自然科学版）,2010,29(5):767-770,4.基金项目
国家自然科学基金资助项目(60875034) （60875034）
贵州省教育厅自然科学基金资助项目(黔教科 20090068). （黔教科 20090068）
