基于Lukasiewicz蕴涵代数的模糊命题逻辑的语法理论

摘要：

基于Pavelka关于模糊命题逻辑的思想,本文初步建立了一种基于”0,1”区间上Lukasiewicz蕴涵代数的模糊命题逻辑的语法理论.定义了程度化的形式证明的概念,并在此基础之上,定义了语法结论算子.

关键词： 模糊命题逻辑 形式证明 语法结论算子 Lukasiewicz蕴涵代数 Pavelka

作者: 潘小东 徐扬

作者单位: 西南交通大学数学系,四川,成都 610031 西南交通大学智能控制开发中心,四川,成都 610031 西南交通大学智能控制开发中心,四川,成都 610031

会议类型: 国内会议

会议名称: 第六届中国不确定系统年会

会议地点: 洛阳

会议语种:中文

页码: 129-132

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