Absolute truth degree theory of formulas in n-valued Lukasiewicz propositional logic system
Zhou Yan · Journal of Lanzhou University of Technology · 2008
By means of the function induced by a logic formula A,a concept of absolute truth of the latter in n-valued Lukasiewicz propositional logic was introduced when the infinite product measure in uniformly distributed probability spaces was evaded.Also the absolute similarity degree and pseudo-distance between two formulas were defined by using the absolute truth,and their properties were discussed.It was proved that operations such as ┑,→,∧,∨ were continuous in the pseudo-distance space.