系统L中公式相对于有限理论的∑Γ-真度理论

系统L中公式相对于有限理论的∑Γ-真度理论

王昭海,吴洪博*

陕西师范大学数学与信息科学学院, 陕西西安 710062

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2006-10-24 发布日期:2006-10-24
通讯作者: 王昭海

The theory of ∑Γ-fuzzy truth degree being relative to finite theory in logic system L

WANG Zhao-hai, WU Hong-bo*

College of Mathematics and Information Science, Shaanxi Normal University, Xi'an 710062, Shaanxi, China

Received:1900-01-01 Revised:1900-01-01 Online:2006-10-24 Published:2006-10-24
Contact: WANG Zhao-hai

摘要/Abstract

摘要： 将模糊命题逻辑中的∑-α-重言式理论与计量逻辑学中的真度理论相结合,在经典二值命题演算系统L中引入了公式相对于有限理论的∑Γ-真度理论,较为详细地讨论了它们的性质,并利用∑Γ-真度的性质在公式集F(S)上引入了ρΓ-伪距离,对原有的理论进行了加强和补充,为在模糊命题逻辑系统的有限理论中讨论结论的程度化问题奠定了基础。

关键词: 模糊逻辑, 系统L, ρΓ-伪距离 , ∑Γ-真度, 有限理论

Abstract: Having combination of the theory of truth degree in metrology of logic with the theory of ∑-α-tautologies in fuzzy logic, which have been introduced by professor G.J.Wang, the theory of ∑Γ-truth degree was introduced, and its properties which induce a pseudometric on F(S) were investigated. The results gained have complemented and enhanced the original theory, and the work delivers a new frame for fuzzy reasoning.

Key words: ρΓ-pesdo-metricL , ∑Γ-fuzzy truth degree, finite theory, logic system L, fuzzy logic

中图分类号:

O141.1

王昭海,吴洪博* . 系统L中公式相对于有限理论的∑Γ-真度理论[J]. J4, 2008, 43(2): 35-39 .

WANG Zhao-hai,WU Hong-bo* . The theory of ∑Γ-fuzzy truth degree being relative to finite theory in logic system L[J]. J4, 2008, 43(2): 35-39 .

参考文献

相关文章 15

[1]	刘春辉. 可换BR₀-代数在一般集合上的蕴涵表示形式[J]. 山东大学学报（理学版）, 2018, 53(6): 86-94.
[2]	梁颖,崔艳丽,吴洪博. 基于BL系统的演绎系统集代数的剩余格属性[J]. 山东大学学报（理学版）, 2017, 52(11): 65-70.
[3]	刘春辉. BL代数的(,∨(-overq))-模糊滤子格[J]. 山东大学学报（理学版）, 2017, 52(10): 104-110.
[4]	乔希民,吴洪博. 区间集上非交换剩余格的〈,(-overQ)〉-fuzzy滤子及其特征刻画[J]. 山东大学学报（理学版）, 2016, 51(2): 102-107.
[5]	周建仁, 吴洪博. IMTL逻辑系统的一种新扩张形式[J]. 山东大学学报（理学版）, 2015, 50(12): 28-34.
[6]	寇海燕, 吴洪博. MTL代数的Wajsberg形式及其应用[J]. 山东大学学报（理学版）, 2015, 50(02): 75-82.
[7]	刘春辉. 正则剩余格的模糊超⊙-理想[J]. 山东大学学报（理学版）, 2014, 49(12): 87-94.
[8]	周建仁1,2,吴洪博2*. IMTL逻辑代数的一种新强化形式[J]. 山东大学学报（理学版）, 2014, 49(04): 84-89.
[9]	刘春辉1,2. 正则剩余格的素模糊⊙理想及其拓扑性质[J]. J4, 2013, 48(12): 52-56.
[10]	刘春辉1,2. Heyting代数的模糊滤子格[J]. J4, 2013, 48(12): 57-60.
[11]	刘春辉1,2. Fuzzy蕴涵代数的滤子理论刘春辉1,2[J]. J4, 2013, 48(09): 73-77.
[12]	周建仁,吴洪博*. WBR₀-代数的正则性及与其他逻辑代数的关系[J]. J4, 2012, 47(2): 86-92.
[13]	李玲玲, 吴洪博*. BR₀-分配性及其推广[J]. J4, 2012, 47(2): 93-97.
[14]	秦学成,刘春辉*. 正则剩余格的 fuzzy ⊙-理想格[J]. J4, 2011, 46(8): 73-76.
[15]	乔希民1,2,吴洪博1*. 格上BR₀-代数结构的表示定理[J]. J4, 2010, 45(9): 38-42.

多维度评价

Viewed

Full text

Abstract

Cited

Shared

Discussed