逻辑系统H_t中的约束算法

定义了多值逻辑系统Ht中的约束度,在Ht中讨论了满足(A(x)→B(y))→(A*(x)→B*(y))≤α的B*(y)(A*(x))存在的条件,得到了Ht中的的全蕴涵α-FMP和α-FMT问题的上确界与下确界公式:B*(y)=infA*(x)∧(A(x)→B(y))]∧,αy∈Y;A*(x)=supB*(y)∨(t-(A(x)→B(y)))]∨(t-)α,x∈X.证明了全蕴涵α-FMP和α-FMT问题的最大解和最小解的存在性定理.