Truth Degrees Theory and Approximate Reasoning in 3-Valued Propositional Pre-Rough Logic

[摘要] By means of the function induced by a logical formulaA, the concept of truth degree of the logical formulaAis introduced in the 3-valued pre-rough logic in this paper. Moreover, similarity degrees among formulas are proposed and a pseudometric is defined on the set of formulas, and hence a possible framework suitable for developing approximate reasoning theory in 3-value logic pre-rough logic is established.

[学科分类] 应用数学