模糊逻辑系统Luk和L^＊中理论相容度的计算公式（Ⅲ）

Calculation Formulas on Consistency Degrees of Theories in Fuzzy Logic Systems Luk and L^＊~

解决了模糊逻辑系统L*与Luk中理论相容度的计算问题。首先给出了L*中理论相容度的计算公式;然后,引入了逻辑公式的核,理论的核的新概念,从而,得到了模糊逻辑系统Luk中理论相容度的计算公式;最后,给出了理论不相容的两个新的充要条件。

In the paper, calculational question of consistency degree of theories in logic systems L^＊ and Luk is drastically solved. First, the computation formula of consistency degree of theories in L^＊ is given And then, the concepts of the core of formulas and the core of theories are introduced, the computation formula on consistency degree of theories in Luk are gained Last, Two new sufficient and necessary condition of theories inconsistency are given.