J4

• 无栏目 • Previous Articles     Next Articles

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

SUI Yunyun   

  1. 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

PDF (PC)

1200

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

CLC Number: 

  • O1411
[1] LIANG Ying, CUI Yan-li, WU Hong-bo. Properties of residuated lattice of deduction systems set algebra in BL system [J]. JOURNAL OF SHANDONG UNIVERSITY(NATURAL SCIENCE), 2017, 52(11): 65-70.
[2] GONG Jia-an, WU Hong-bo. Metric structure in modal logic system S4 [J]. JOURNAL OF SHANDONG UNIVERSITY(NATURAL SCIENCE), 2016, 51(2): 108-113.
[3] ZUO Wei-bing. The conditional randomized truth degree of formulas in the fuzzy logic system L* [J]. J4, 2012, 47(6): 121-126.
[4] ZHANG Sheng-li1, PAN Zheng-hua2. λ-resolution for  medium predicate logic based on an improved  form of infinite-valued semantic interpretation [J]. J4, 2012, 47(2): 109-114.
[5] ZHANG Le, PEI Dao-wu. The conditional truth degree of theory in proposition logic [J]. J4, 2012, 47(2): 82-85.
[6] SONG Ying, ZHANG Xing-fang. [J]. J4, 2010, 45(5): 74-77.
[7] CUI Mei-hua. The D-conditional truth degree of formulas and approximate reasoning in the  G3 propositional logic system [J]. J4, 2010, 45(11): 52-58.
[8] FU Li. Basic properties of uniform logic formulas and  distribution of their truth degrees [J]. J4, 2010, 45(11): 59-62.
[9] YUAN Pan-Chi, Zhang-Xin-Fang. Study of the conditional probability truth degree of formulas in the Gödel logic system [J]. J4, 2009, 44(9): 70-74.
[10] JU Chang-Tian, WANG Guo-Dun. Exact generalized tautologies in fuzzy modal logic system M?uk [J]. J4, 2009, 44(8): 80-85.
[11] . A conditional truth degree of formulas in nvalued 
propositional logic systems [J]. J4, 2009, 44(6): 56-59.
[12] Li Cheng-yun Zhang Xingfang. The problem of function decided formulas in L* logic [J]. J4, 2009, 44(12): 91-96.
[13] MA Li-Na, WANG Guo-Dun. Theory of truth degrees in Lukasiewicz three valued propositional logic [J]. J4, 2009, 44(10): 54-59.
[14] WU Hong-bo,QIAO Xi-min, . The ∑Γ－fuzzy truth degree of formula relative to the finite theory in propositional logic system Ln [J]. J4, 2008, 43(6): 1-8 .
[15] 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 .
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
No Suggested Reading articles found!
Copyright 2018 © Editorial office of JOURNAL OF SHANDONG UNIVERSITY(NATURAL SCIENCE)
Supported by Beijing Magtech Co.Ltd