Quantitative Method Based on Cotangent Similarity Degree in Three‐Valued Łukasiewicz Logic
Peng Yu · Chinese Journal of Electronics · 2021
The main purpose of this paper is to establish a type of quantitative model by using the contangent similarity function in the three-valued Łukasiewicz propositional logic system Ł3. We introduce the concepts of the cotangent similarity degree, cotangent pseudo-distance and cotangent truth degree of the propositions, together with their basic properties in Ł3. We investigate the relationship between the cotangent truth degree and contangent pseudo-distance, and prove the continuity of the logical connectives and in the logical metric space. We propose a graded reduction method and three types of graded reasoning frameworks on the propositions set F(S), and provide several examples and basic properties of it.