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

被引：18

作者：

汪德刚 ^{[1
]}

谷云东 ^{[2
]}

李洪兴 ^{[1
]}

机构：

[1] 北京师范大学数学科学学院

[2] 华北电力大学(北京)数理学院

来源：

电子学报 | 2007年 / 02期

关键词：

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

D O I：

暂无

中图分类号：

O141 [数理逻辑（符号逻辑）];

学科分类号：

070104 ; 010104 ; 010105 ;

摘要：

首先讨论广义泛代数理论,引入变维运算和广义型的概念,并进而给出了广义泛代数的定义.随后,给出模糊模态命题逻辑的概念,并定义了模糊模态命题运算.最后,以泛代数理论为基础给出M-W系统的定义,并讨论了相应系统中广义重言式的性质及其分类,证明了系统M-W只有三种广义重言式.

引用

页码：261 / 264

页数：4

共 9 条

[1] 三值模糊逻辑函数实现静险态的检测 [J].

尤飞 ;

苗志宏 ;

李洪兴 .

模糊系统与数学, 2004, (03) :91-94

[2] 模糊模态命题逻辑的语义 [J].

陈图云 ;

汪德刚 .

辽宁师范大学学报(自然科学版), 2003, (04) :341-343

[3] 区间值模糊命题逻辑的最大子代数及其广义重言式 [J].

陈图云 ;

张宇卓 ;

廖士中 .

模糊系统与数学, 2003, (02) :106-108

[4] 模糊格蕴涵代数 [J].

徐扬，秦克云 .

西南交通大学学报, 1995, (02) :121-127

[5]

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

[6]

模糊系统理论与模糊计算机[M]. 科学出版社 , 汪培庄,李洪兴著, 1996

[7]

知识表示的数学理论[M]. 天津科学技术出版社 , 汪培庄, 1994

[8]

Variable universe adaptive fuzzy control on the quadruple inverted pendulum[J] . Hongxing Li,Miao Zhihong,Wang Jiayin.Science in China Series E: Technological Sciences . 2002 (2)

[9]

Fuzzy controllers basedon some fuzzy implication operators and their response func-tions. Hong-Xing Li,You Fei,Peng Jia-yin. Progress in Natural Science . 2004

← 1 →