本文選題：約束度　切入點：Ht-代數　出處：《陜西師范大學學報(自然科學版)》2010年05期 　論文類型：期刊論文

【摘要】：定義了多值邏輯系統(tǒng)Ht中的約束度,在Ht中討論了滿足(A(x)→B(y))→(A*(x)→B*(y))≤α的B*(y)(A*(x))存在的條件,得到了Ht中的的全蘊涵α-FMP和α-FMT問題的上確界與下確界公式:B*(y)=inf[A*(x)∧(A(x)→B(y))]∧,αy∈Y;A*(x)=sup[B*(y)∨(t-(A(x)→B(y)))]∨(t-)α,x∈X.證明了全蘊涵α-FMP和α-FMT問題的最大解和最小解的存在性定理.
[Abstract]:The constraint degree in multivalued logic system Ht is defined. 鈫，

本文編號：1568011