摘要
针对Hα系统中的含参量蕴涵算子给出FMP问题的反向三I算法上确界计算公式和FMT问题的反向三I算法下确界计算公式,并进一步将问题一般化,给出了α-反向三I支持算法相应的计算公式.
In this paper, with parametric-implication operators of system given by Professor Wang, formulas inverted triple Ⅰ methods based on FMP and FMT problems are proposed. And furthermore, the problem is generalized, formulas of the a-triple Ⅰ FMP and α-triple Ⅰ FMT are obtained respectively.
出处
《信阳师范学院学报（自然科学版）》
CAS
北大核心
2008年第1期17-20,共4页
Journal of Xinyang Normal University(Natural Science Edition)
基金
山东省自然科学基金资助项目(Y2003A01)
