1. Randomization in Logic System Ln
- Author
-
Weibing Zuo and Yuanzhang Zhang
- Subjects
Discrete mathematics ,Isolated point ,Computer Science::Logic in Computer Science ,Truth value ,Well-formed formula ,Many-valued logic ,Intuitionistic logic ,Propositional calculus ,Tautology (logic) ,Truth function ,Mathematics - 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.
- Published
- 2009
- Full Text
- View/download PDF