%0 Journal Article
%T 模糊模态命题逻辑及其广义重言式
%A 汪德刚
%A 谷云东
%A 李洪兴
%J 电子学报
%P 261-264
%D 2007
%X 首先讨论广义泛代数理论,引入变维运算和广义型的概念,并进而给出了广义泛代数的定义.随后,给出模糊模态命题逻辑的概念,并定义了模糊模态命题运算.最后,以泛代数理论为基础给出M系统的定义,并讨论了相应系统中广义重言式的性质及其分类,证明了系统M只有三种广义重言式.
%K 模糊逻辑
%K 模糊模态命题逻辑
%K 广义重言式
%U http://www.ejournal.org.cn/CN/abstract/abstract5176.shtml