模糊模态命题逻辑的语义

被引：6

作者：

陈图云

汪德刚

机构：

[1] 辽宁师范大学数学系

[2] 辽宁师范大学数学系辽宁大连

[3] 辽宁大连

来源：

辽宁师范大学学报(自然科学版) | 2003年 / 04期

关键词：

模糊逻辑; 克里普克语义; 模糊模态逻辑; α—重言式;

D O I：

暂无

中图分类号：

O159 [模糊数学];

学科分类号：

070104 ;

摘要：

对克里普克语义进行了扩充,给出了模糊化的克里普克语义.然后讨论了模糊模态α—重言式.最后根据模糊关系R的不同情况讨论了相应的模糊模态公式的归约问题.

引用

收藏

页码：341 / 343

页数：3

相关论文

共 2 条

[1]

Fuzzy模态公式的归约.[A].陈国勋;闫家杰;.中国系统工程学会模糊数学与模糊系统委员会第五届年会.1990,

[2]

非经典数理逻辑与近似推理.[M].王国俊著;.科学出版社.2000,