n值S-MTL命题逻辑系统中公式真度的统一理论

李骏; 邓富喜

您当前的位置：

首页 >

文章列表页 >

n值S-MTL命题逻辑系统中公式真度的统一理论

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

- n值S-MTL命题逻辑系统中公式真度的统一理论
- Unified Theory of Truth Degrees in n-Valued S-MTL Propositional Logic
- 电子学报 2011年39卷第8期页码：1864-1868
- 作者机构：
  
  兰州理工大学理学院,甘肃,兰州,730050
- 作者简介：
- 基金信息：
  
  国家自然科学基金 (No.10771129)
- DOI：
  中图分类号： O142
- 纸质出版：2011
- 稿件说明：
移动端阅览
李骏, 邓富喜. n值S-MTL命题逻辑系统中公式真度的统一理论[J]. 电子学报, 2011,39(8):1864-1868.

LI Jun, DENG Fu-xi. Unified Theory of Truth Degrees in n-Valued S-MTL Propositional Logic[J]. Acta Electronica Sinica, 2011, 39(8): 1864-1868.
李骏, 邓富喜. n值S-MTL命题逻辑系统中公式真度的统一理论[J]. 电子学报, 2011,39(8):1864-1868. DOI：

LI Jun, DENG Fu-xi. Unified Theory of Truth Degrees in n-Valued S-MTL Propositional Logic[J]. Acta Electronica Sinica, 2011, 39(8): 1864-1868. DOI：

摘要

给出了强正则蕴涵算子和

值

S-MTL

命题逻辑系统的定义.基于一般的概率测度定义了公式的真度

并给出了公式真度的积分表达式;基于公式真度的积分表达式证明了真度推理规则;在

值

S-MTL

命题逻辑系统的全体公式集上引入了一种伪距离

证明了逻辑运算关于这种伪距离是连续的.提出了一种近似推理机制

使得在

值

S-MTL

命题逻辑系统中展开近似推理成为可能.

Abstract

The concept of strong regular implication operator and the

-valued

S-MTL

propositional logic system are introduced.Based on probability measure the truth degree of formula is defined and its integral expression is given and the inference rules w.r.t the truth degrees is proved.Moreover

similarity degrees among formulas are proposed and a pseudo-metric is defined therefrom on the set of formulas.The continuity of logical operators w.r.t the pseudo-distance is proved

and hence a possible framework suitable for developing approximate reasoning theory in

-valued

S-MTL

propositional logic is established.

关键词

Keywords

references

浏览量

1121

下载量

CSCD

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

提交

工具集

关联资源

对称逻辑公式在经典逻辑度量空间中的分布

(3n+1)值逻辑系统R₀L中公式的真度性质

经典逻辑度量空间中的模2次范整线性空间结构

基于支持度理论的广义MP问题的形式化解

计量逻辑中真度的均值表示形式及应用