逻辑系统H_t中的约束算法

• 作者: 王国俊 马巧云
• 来源期刊: 陕西师范大学学报（自然科学版）
• 学科: 数学
• 关键词: 约束度 Ht-代数 全蕴涵α-FMP问题 全蕴涵α-FMT问题
• 年，卷（期）: 2010,（5）
• 所属期刊栏目: 数学与计算机科学
• 页码范围: 6-9
• 分类号: O141
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马巧云	西安文理学院数学系	22	45	4.0	6.0
5	王国俊	陕西师薄大学数学与信息科学学院	1	0	0.0	0.0