Graded Method in Propositional Logic

WANG Guo-jun; SONG Jian-she

您当前的位置：

首页 >

文章列表页 >

Graded Method in Propositional Logic

更新时间：2025-07-16

- Graded Method in Propositional Logic
- Acta Electronica Sinica Vol. 34, Issue 2, Pages: 252-257(2006)
- 作者机构：
  
  1. 陕西师范大学数学研究所,陕西,西安,710062
  2. 西安交通大学基础科学研究中心,陕西,西安,710049
  3. 西安高技术研究所,陕西,西安,710025
  4. 陕西师范大学数学研究所陕西西安,710062
  5. 西安交通大学基础科学研究中心陕西西安,710049
  6. 西安高技术研究所陕西西安,710025
- 作者简介：
- 基金信息：
- DOI：
  CLC： O142
- Published Online：25 February 2006，
  
  Published：2006
- 稿件说明：
移动端阅览
WANG Guo-jun, SONG Jian-she. Graded Method in Propositional Logic[J]. Acta Electronica Sinica, 2006, 34(2): 252-257.
DOI：

WANG Guo-jun, SONG Jian-she. Graded Method in Propositional Logic[J]. Acta Electronica Sinica, 2006, 34(2): 252-257. DOI：

摘要

在二值命题逻辑、各类

值命题逻辑和各类模糊命题逻辑中引入了命题的诱导函数的概念

在此基础上分别就离散和连续情形利用均匀概率空间的无穷乘积和积分语义学方法引入了命题的真度概念.其次

基于演绎定理建立了程度化的近似推理理论.最后

提出了有限逻辑理论的相容度理论.

Abstract

The concept of proposition induced functions is proposed in the present paper

then the concept of truth degrees is introduced by means of infinite propduct of evenly distributed probability spaces and integrated semantics respectively w.r.t.discrete and continuous situations.Next

a graded approximate reasoning theory is established.Finally

theory of consistency degrees of finite theories is also proposed.

关键词

Keywords

references

Views

1350

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Distribution of the Symmetrical Logic Formulas in the Classical Logic Metric Space

Classical Planning Methods Based on Axioms Reduction

A Fast Approximate Reasoning Method in Hierarchical DSmT ( B)

The Properties of Truth Degrees of Formulas in (3n+1) -Valued Logic System R₀L

Z (2)-Normable Linear Structure on Classical Logic Metric Space

Related Author

WANG Guo-jun

HU Ming-di

YANG Chao

WEI Wei

SHI Lian

LIU Lei

LV Shuai

YANG Wei-dong

Related Institution

Shanghai Key Laboratory of Trustworthy Computing East China Normal University Shanghai China

Institute of Mathematics Shaanxi Normal University Xi’an Shaanxi China

Shanghai Key Laboratory of Trustworthy Computing, East China Normal University

College of Mathematics Jilin Uniuersity Changchun Jilin China

Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun Jilin China

⁰