本文選題：多值邏輯 + 邏輯系統(tǒng)■　； 參考：《山東大學學報(理學版)》2008年06期

【摘要】：將模糊命題邏輯系統(tǒng)中的∑-(α-重言式)理論與計量邏輯學中的真度理論相結合,在n-值Lukasievicz模糊命題邏輯系統(tǒng)■中引入了公式相對于有限理論的∑Γ-模糊真度理論,討論了其中的主要性質。特別地證明了真度關系:τΓ(A)+τΓ(A→B)≤1+τΓ(B),并利用這一關系在模糊命題演算系統(tǒng)■中的公式集F(S)上引入相對于有限理論的Γ-偽距離,從而為在模糊命題邏輯系統(tǒng)■中建立相對于有限理論的近似推理框架奠定了基礎。
[Abstract]:The 鈭，

本文編號：2064867