模糊模态命题逻辑及其广义重言式  

Generalized Tautology in Fuzzy Modal Propositional Logic

作　　者：汪德刚[1] 谷云东[2] 李洪兴[1] 

机构地区：[1]北京师范大学数学科学学院,北京100875 [2]华北电力大学(北京)数理学院,北京102206

出　　处：《电子学报》2007年第2期261-264,共4页Acta Electronica Sinica

基　　金：国家973重点基础研究发展规划(No.2002CB312200);教育部科学技术重点项目(No.03184);教育部博士点基金(No.20020027013);国家自然科学基金(No.60474023)

摘　　要：首先讨论广义泛代数理论,引入变维运算和广义型的概念,并进而给出了广义泛代数的定义.随后,给出模糊模态命题逻辑的概念,并定义了模糊模态命题运算.最后,以泛代数理论为基础给出M-W系统的定义,并讨论了相应系统中广义重言式的性质及其分类,证明了系统M-W只有三种广义重言式.The concepts of dimension-variable operation, generalized type and the generalized universal algebra are defined. Then, the concept of Fuzzy Modal Propositional Logic together with it＇ s operations are proposed. The system of MW^- is introduced by the use of the concept of generalized universal algebra.At last,the properties and the classification of generalized tautologies are discussed. It is proved that there are only three generalized tautologies in system of MW^-.

关 键 词：模糊逻辑 模糊模态命题逻辑 广义重言式 

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