逻辑系统H_t中的约束算法

发布时间：2018-03-05 00:31

  本文选题：约束度　切入点：Ht-代数　出处：《陕西师范大学学报(自然科学版)》2010年05期 　论文类型：期刊论文

【摘要】：定义了多值逻辑系统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