基于含参量蕴涵算子的反向三I算法
Inverted Triple I Methods Based on Parametric-implication Operators
-
摘要: 针对Hα系统中的含参量蕴涵算子给出FMP问题的反向三I算法上确界计算公式和FMT问题的反向三I算法下确界计算公式,并进一步将问题一般化,给出了α-反向三I支持算法相应的计算公式.Abstract: In this paper,with parametric-implication operators of system given by Professor Wang,formulas inverted triple I methods based on FMP and FMT problems are proposed.And furthermore,the problem is generalized,formulas of the α-triple I FMP and α-triple I FMT are obtained respectively.