Generalized Tautology in Fuzzy Modal Propositional Logic

WANG De-gang; GU Yun-dong; LI Hong-xing

您当前的位置：

首页 >

文章列表页 >

Generalized Tautology in Fuzzy Modal Propositional Logic

更新时间：2025-07-16

- Generalized Tautology in Fuzzy Modal Propositional Logic
- Acta Electronica Sinica Vol. 35, Issue 2, Pages: 261-264(2007)
- 作者机构：
  
  1. 北京师范大学数学科学学院,北京,100875
  2. 华北电力大学(北京)数理学院,北京,102206
  3. 北京师范大学数学科学学院北京,100875
  4. 华北电力大学(北京)数理学院北京,102206
- 作者简介：
- 基金信息：
- DOI：
  CLC： O159
- Published：2007
- 稿件说明：
移动端阅览
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：

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

Views

1368

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

On the Finite Strong Completeness of NM321;

A Novel Vertical Handoff Algorithm Based on Fuzzy Logic in Aid of Pre-decision Method

Multi-Dimensional Qualitative Spatial Query Language MQS-SQL

A Fuzzy Logic Approach for Active Queue Management

Evolutionary Strategy Method for Parallel Machine Earliness/Tardiness Scheduling Problem with Common Due Date

Related Author

FONT

ZHANG Qiong

WU Hong-bo

Verdana

FONT face

HE Chen

JIANG Ling-ge

LIU Xia

Related Institution

(College of Mathematics and Information Science, Shaanxi Normal University,, ,)

School of Electronic Information and Electrical Engineering, Shanghai Jiao Tong University

College of Computer Science and Technology, Jilin University

Dept.of Automation,Shanghai Jiaotong University

Department of Automation,Tsinghua University

⁰