Tautologies and Quasi-Tautologies in Fuzzy Modal Logic

HU Ming-di; WANG Guo-jun

您当前的位置：

首页 >

文章列表页 >

Tautologies and Quasi-Tautologies in Fuzzy Modal Logic

更新时间：2025-07-16

- Tautologies and Quasi-Tautologies in Fuzzy Modal Logic
- Acta Electronica Sinica Vol. 37, Issue 11, Pages: 2484-2488(2009)
- 作者机构：
  
  1. 陕西师范大学数学研究所,陕西,西安,710062
  2. 西安交通大学基础科学研究中心,陕西,西安,710069
  3. 安康学院数学系,陕西,安康,725000
  4. 陕西师范大学数学研究所陕西西安,710062
  5. 西安交通大学基础科学研究中心陕西西安,710069
  6. 安康学院数学系陕西安康,725000
- 作者简介：
- 基金信息：
- DOI：
  CLC： O159
- Published：2009
- 稿件说明：
移动端阅览
HU Ming-di, WANG Guo-jun. Tautologies and Quasi-Tautologies in Fuzzy Modal Logic[J]. Acta Electronica Sinica, 2009, 37(11): 2484-2488.
DOI：

HU Ming-di, WANG Guo-jun. Tautologies and Quasi-Tautologies in Fuzzy Modal Logic[J]. Acta Electronica Sinica, 2009, 37(11): 2484-2488. DOI：

摘要

研究了模糊模态逻辑中的永真式与基本模态逻辑中的有效公式之间的关系.证明了永真式一定是逻辑有效公式

但反之不真;在模糊模态逻辑中

针对一类重要的二元关系、即连续型二元关系引入了准永真式的概念

研究了准永真式的基本性质

并结合￡

系统构造出了一类永真式和准永真式.

Abstract

Relationship between tautologies in fuzzy modal logic and valid formulas in basic modal logic is investigated.It is proved that modal tautologies are logically valid but not vice versa;Based on a class of continuous binary relations

the concept of quasi-tautology is introduced in fuzzy modal logic

basic properties of quasi-tautologies is obtained

and a class of tautologies and quasi-tautologies are constructed by means of theorems in the logic system ￡

关键词

Keywords

references

Views

866

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

No data

Related Author

No data

Related Institution

No data

⁰