五值非线性序集逻辑系统中命题真度的分布

五值非线性序集逻辑系统中命题真度的分布

隋云云

潍坊学院数学与信息科学学院, 山东潍坊 261061

收稿日期:2008-08-20 修回日期:1900-01-01 出版日期:2009-01-24 发布日期:2010-04-15
通讯作者: 隋云云

The distribution of propositional truth degree in 5valued logic systems
associated with a nonlinear ordering true value set

SUI Yunyun

School of Mathematics and Information Sciences, Weifang University, Weifang 261061, Shandong, China

Received:2008-08-20 Revised:1900-01-01 Online:2009-01-24 Published:2010-04-15
Contact: SUI Yunyun

摘要/Abstract

摘要： 利用势为5的均匀概率空间的无穷乘积在五值非线性序集逻辑系统L25中引入了公式的真度概念,给出了真度的一些推理规则,并证明了全体公式的真度值之集在［0,1］上是稠密的,给出了全体公式概率真度的表达通式,为在非线性序集逻辑系统L25中建立近似推理理论提供了一种可能的框架。

关键词: 真度, 推理规则, 逻辑系统, 非线性序集

Abstract: Base on the infinite product of evenly distributed probability space with cardinality of 5, the theory of truth degrees in 5valued logic systems associated with a nonlinear ordering true value set was introduced. Some inference rules were given. It was proved that the set of truth degree of propositions is dense in ［0,1］, and the expressions of truth degree were obtained. Therefore a possible framework for establishing approximate reasoning theory of 5valued propositional logic systems L25 was proposed.

Key words: logic system, nonlinear ordering set, truth degree, inference rule

中图分类号:

O1411

隋云云. 五值非线性序集逻辑系统中命题真度的分布[J]. J4, 2009, 44(1): 78-82 .

SUI Yunyun. The distribution of propositional truth degree in 5valued logic systems
associated with a nonlinear ordering true value set
[J]. J4, 2009, 44(1): 78-82 .

参考文献

相关文章 15

[1]	梁颖,崔艳丽,吴洪博. 基于BL系统的演绎系统集代数的剩余格属性[J]. 山东大学学报（理学版）, 2017, 52(11): 65-70.
[2]	龚加安,吴洪博. 模态逻辑系统S4中的度量结构[J]. 山东大学学报（理学版）, 2016, 51(2): 108-113.
[3]	周建仁, 吴洪博. IMTL逻辑系统的一种新扩张形式[J]. 山东大学学报（理学版）, 2015, 50(12): 28-34.
[4]	左卫兵. 模糊命题逻辑L*中公式的条件随机真度[J]. J4, 2012, 47(6): 121-126.
[5]	张乐,裴道武. 命题逻辑中理论的条件真度[J]. J4, 2012, 47(2): 82-85.
[6]	宋颖，张兴芳. £ukasiewicz n值命题逻辑中公式的α-随机真度理论[J]. J4, 2010, 45(5): 74-77.
[7]	崔美华. 逻辑系统G₃中命题的D-条件真度与近似推理[J]. J4, 2010, 45(11): 52-58.
[8]	傅丽. 均匀逻辑公式的基本性质及其真度的分布[J]. J4, 2010, 45(11): 59-62.
[9]	袁彦莉张兴芳. Gödel逻辑系统中公式条件概率真度的研究[J]. J4, 2009, 44(9): 70-74.
[10]	邹尚田王国俊. 模糊模态逻辑系统M?uk中的可达广义重言式[J]. J4, 2009, 44(8): 80-85.
[11]	. 一种n值逻辑系统中命题的条件真度[J]. J4, 2009, 44(6): 56-59.
[12]	李成允,张兴芳. L逻辑系统中的函数决定公式问题[J]. J4, 2009, 44(12): 91-96.
[13]	马丽娜王国俊. Lukasiewicz三值逻辑中命题的真度值之集在［0,1］上的分布[J]. J4, 2009, 44(10): 54-59.
[14]	吴洪博,乔希民, . 命题逻辑系统Ｌ_n中公式相对于有限理论的∑_Γ^－模糊真度理论[J]. J4, 2008, 43(6): 1-8 .
[15]	王昭海,吴洪博* . 系统L中公式相对于有限理论的∑Γ-真度理论[J]. J4, 2008, 43(2): 35-39 .

多维度评价

Viewed

Full text

Abstract

Cited

Shared

Discussed