逻辑系统H_t中的约束算法

摘要：

定义了多值逻辑系统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问题的最大解和最小解的存在性定理.

关键词：约束度、Ht-代数、全蕴涵α-FMP问题、全蕴涵α-FMT问题

分类号：O141(数理逻辑、数学基础)

在线出版日期：2011-09-07（万方平台首次上网日期，不代表论文的发表时间）

页码：6-9