模糊模态命题逻辑的语义  

The Semantic of Fuzzy Modal Propositional Logic

作　　者：陈图云[1] 汪德刚[1] 

机构地区：[1]辽宁师范大学数学系,辽宁大连116029

出　　处：《辽宁师范大学学报（自然科学版）》2003年第4期341-343,共3页Journal of Liaoning Normal University:Natural Science Edition

摘　　要：对克里普克语义进行了扩充,给出了模糊化的克里普克语义.然后讨论了模糊模态α—重言式.最后根据模糊关系R的不同情况讨论了相应的模糊模态公式的归约问题.The Kripke semantic is extended. The fuzzy Kripke semantic and the α-tautology is definited. According to the difference condition of the fuzzy relations R,reduction of the fuzzy modalities is discussed.

关 键 词：模糊逻辑 克里普克语义 模糊模态逻辑 Α-重言式 

分 类 号：O159[理学—数学]