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

• 作者: 李洪兴 汪德刚 谷云东
• 来源期刊: 电子学报
• 学科: 数学
• 关键词: 模糊逻辑 模糊模态命题逻辑 广义重言式
• 年，卷（期）: 2007,（2）
• 所属期刊栏目: 学术论文
• 页码范围: 261-264
• 页数: 4页
• 分类号: O159
• 字数: 4306字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2007.02.016

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李洪兴	北京师范大学数学科学学院	108	2984	30.0	51.0
2	汪德刚	北京师范大学数学科学学院	2	26	2.0	2.0