广义重言式论文

命题泛逻辑的演算理论及推理研究
论文摘要本文研究课题源于国家自然科学基金项目（No．60273087）“经验知识推理理论研究”与北京市自然科学基金项目（No．4032009）“不精确推理理论研究”。如何处理各...
模糊时序命题逻辑系统的语义
论文摘要时序逻辑是一种特殊的模态逻辑,它不仅是程序语义描述的有力工具,而且在知识的形式表示方面表现出越来越多的优越性.但遗憾的是对于时序逻辑的研究多限于赋值为0和1的经典时序逻...
扰动模糊命题逻辑系统的语义
论文摘要扰动模糊命题逻辑系统的产生源于实际问题的需要,但在该系统中对王国俊教授关于一维逻辑系统W|-中广义重言式理论到二维逻辑系统的推广工作进行得并不顺利.本文通过修改二维蕴涵...
模糊模态命题逻辑及其广义重言式
论文摘要随着模态逻辑在知识表示及知识推理中的广泛应用,关于模态逻辑的研究越来越引起人们的重视。本文首先讨论了广义泛代数理论,给出了变维运算和广义型的定义进而给出了广义泛代数的定...