Reverse Triple I Methods Based on Parametric-Implication Operators
Zhang Fengxia · 2010
With parametric-implication operators of Hα system given by Professor Wang, formulas of reverse triple I methods based on FMP and FMT problems are given. And furthermore, the problem is generalized, formulas of the α-Triple I FMP and α-Triple I FMT are obtained respectively.