有限格值命题逻辑的语义理论  

作　　者：潘小东[1,2] 徐扬[2] 

机构地区：[1]西南交通大学数学学院,四川610031 [2]西南交通大学智能控制开发中心,四川610031

出　　处：《中国科学：信息科学》2010年第11期1417-1427,共11页Scientia Sinica(Informationis)

基　　金：国家自然科学基金(批准号:60875034);中央高校基本科研业务费专项资金(批准号:SWJTU09BR205;SWJTU09ZT37)资助项目

摘　　要：基于Pavelka关于模糊命题逻辑的思想,结合L型Fuzzy集合与经典二值命题逻辑理论,初步建立了一种基于有限格蕴涵代数的格值命题逻辑程度化的语义理论.定义了L型重言式和L型矛盾式的概念,给出了几类L型重言式之间的关系定理.从不确定性推理的角度,定义了逻辑公式集在一定水平上的可满足性概念.在此基础之上,定义了基于一个逻辑公式集合的语义结论算子,研究了语义结论算子的性质以及信息的相容性问题.

关 键 词：格值命题逻辑 语义理论 L型重言式 相容性 格蕴涵代数 

分 类 号：O153.1[理学—数学]