Title :
Randomization in Logic System Ln
Author :
Zuo, Weibing ; Zhang, Yuanzhang
Author_Institution :
Dept. of Math. & Inf. Sci., North China Inst. of Water Conservancy & Hydroelectric Power, Zhengzhou
Abstract :
By means of randomization, the concept of randomized truth degree of well-formed formulae in n-valued Lukasiewicz propositional logic is introduced. It is proved that the set of values of randomized truth degree of well-formed formulae has no isolated point in [0, 1]. It is generalize the related concepts and properties of quantitative logic. The concepts of compatibility and independence of formulae are introduced and studied.
Keywords :
formal logic; logic system; n-valued Lukasiewicz propositional logic; quantitative logic; randomized truth degree; Algebra; Bridges; Computer science; Computer science education; Cost accounting; Educational technology; Information science; Logic; Mathematics; Water conservation; approximate reasoning; randomized similarity degree; randomized truth degree; randomized truth degree independence; well-formed formula;
Conference_Titel :
Education Technology and Computer Science, 2009. ETCS '09. First International Workshop on
Conference_Location :
Wuhan, Hubei
Print_ISBN :
978-1-4244-3581-4
DOI :
10.1109/ETCS.2009.281
