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

汪德刚; 谷云东; 李洪兴

您当前的位置：

首页 >

文章列表页 >

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

论文 | 更新时间：2025-07-16

- 模糊模态命题逻辑及其广义重言式
- Generalized Tautology in Fuzzy Modal Propositional Logic
- 电子学报 2007年35卷第2期页码：261-264
- 作者机构：
  
  1. 北京师范大学数学科学学院,北京,100875
  2. 华北电力大学(北京)数理学院,北京,102206
  3. 北京师范大学数学科学学院北京,100875
  4. 华北电力大学(北京)数理学院北京,102206
- 作者简介：
- 基金信息：
  
  国家973重点基础研究发展规划 (No.2002CB312200);教育部科学技术重点项目 (No.03184);教育部博士点基金 (No.20020027013);国家自然科学基金 (No.60474023)
- DOI：
  中图分类号： O159
- 纸质出版：2007
- 稿件说明：
移动端阅览
汪德刚, 谷云东, 李洪兴. 模糊模态命题逻辑及其广义重言式[J]. 电子学报, 2007,35(2):261-264.

WANG De-gang, GU Yun-dong, LI Hong-xing. Generalized Tautology in Fuzzy Modal Propositional Logic[J]. Acta Electronica Sinica, 2007, 35(2): 261-264.
汪德刚, 谷云东, 李洪兴. 模糊模态命题逻辑及其广义重言式[J]. 电子学报, 2007,35(2):261-264. DOI：

WANG De-gang, GU Yun-dong, LI Hong-xing. Generalized Tautology in Fuzzy Modal Propositional Logic[J]. Acta Electronica Sinica, 2007, 35(2): 261-264. DOI：

摘要

首先讨论广义泛代数理论

引入变维运算和广义型的概念

并进而给出了广义泛代数的定义.随后

给出模糊模态命题逻辑的概念

并定义了模糊模态命题运算.最后

以泛代数理论为基础给出

系统的定义

并讨论了相应系统中广义重言式的性质及其分类

证明了系统

只有三种广义重言式.

Abstract

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

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

关键词

Keywords

references

浏览量

1368

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

NM321;系统的有限强完备性

一种基于模糊逻辑的预判决辅助垂直切换算法

混合维定性空间查询语言MQS-SQL

一种基于模糊逻辑的主动队列管理算法

带公共交货期的并行机提前/拖后调度问题的进化策略求解