Truth degree function on set of formulas in propositional logic system Ln
Lina Ma, Shuo Liu, Guojun Wang · Computer Engineering and Applications Journal · 2010
The purpose of this paper is to give an axiomatic definition of truth degree function on the set of formulas in n-valued Lukasiewicz propositional logic system and some properties of truth degree function are proved.The conceptions of similarity de-gree among formulas and a pseudo-metric on the set of formulas are defined by means of the concept of truth degree function.The logic metric space is built and a possible framework for approximate reasoning from the syntactical view is proposed.