Randomization in Logic System Ln

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.