Graded Method in Propositional Logic
Guojun Wang, Song Jian-she · Dianzi xuebao · 2006
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.