模糊模态逻辑中的永真式与准永真式

胡明娣; 王国俊

您当前的位置：

首页 >

文章列表页 >

模糊模态逻辑中的永真式与准永真式

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

- 模糊模态逻辑中的永真式与准永真式
- Tautologies and Quasi-Tautologies in Fuzzy Modal Logic
- 电子学报 2009年37卷第11期页码：2484-2488
- 作者机构：
  
  1. 陕西师范大学数学研究所,陕西,西安,710062
  2. 西安交通大学基础科学研究中心,陕西,西安,710069
  3. 安康学院数学系,陕西,安康,725000
  4. 陕西师范大学数学研究所陕西西安,710062
  5. 西安交通大学基础科学研究中心陕西西安,710069
  6. 安康学院数学系陕西安康,725000
- 作者简介：
- 基金信息：
  
  国家自然科学基金 ( No. 10771129);陕西师范大学研究生培养创新基金 (No.2009CXB006)
- DOI：
  中图分类号： O159
- 纸质出版：2009
- 稿件说明：
移动端阅览
胡明娣, 王国俊. 模糊模态逻辑中的永真式与准永真式[J]. 电子学报, 2009,37(11):2484-2488.

HU Ming-di, WANG Guo-jun. Tautologies and Quasi-Tautologies in Fuzzy Modal Logic[J]. Acta Electronica Sinica, 2009, 37(11): 2484-2488.
胡明娣, 王国俊. 模糊模态逻辑中的永真式与准永真式[J]. 电子学报, 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

浏览量

866

下载量

CSCD

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

提交

工具集

关联资源

暂无数据