Syntactic Graded Method of Formulas in the System L<sup>*</sup>

LUO Min-xia; YAO Ning

您当前的位置：

首页 >

文章列表页 >

Syntactic Graded Method of Formulas in the System L^*

更新时间：2025-07-16

- Syntactic Graded Method of Formulas in the System L^*
- Acta Electronica Sinica Vol. 39, Issue 2, Pages: 424-428(2011)
- 作者机构：
  
  中国计量学院应用数学系,浙江,杭州,310018
- 作者简介：
- 基金信息：
- DOI：
  CLC： O141.1
- Published：2011
- 稿件说明：
移动端阅览
LUO Min-xia, YAO Ning. Syntactic Graded Method of Formulas in the System L^*[J]. Acta Electronica Sinica, 2011, 39(2): 424-428.
DOI：

LUO Min-xia, YAO Ning. Syntactic Graded Method of Formulas in the System L^*[J]. Acta Electronica Sinica, 2011, 39(2): 424-428. DOI：

摘要

本文从语构角度出发

给出

系统中公式的语构真度的概念

讨论其相关的一系列性质

并进一步研究

系统中由语构真度诱导的公式间的相似度及伪度量

证明由语构真度诱导的伪度量空间中运算的连续性

从而为在

系统中基于语构理论展开近似推理提供可能的框架.

Abstract

In terms of syntax

the concept of the syntactical truth degree of formulas in the system

is given in this paper.Then a series of the corresponding properties of the syntactical truth degree of formulas are discussed.Moreover

the similarity degree and pseudo-metric between formulas induced by syntactical truth degree are investigated.In addition

the continuity of the operations in the pseudo-metric space is proved.So then we can provide a possible framework for developing approximate reasoning based on the theory of syntax in the system

关键词

Keywords

references

Views

1256

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

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

Related Author

WU Hong-bo

ZHOU Jian-ren

ZHANG Qiong

Related Institution

College of Mathematics and Information Science,Shanxi Normal University,,Shaaxi

⁰