计算机工程与应用2016，Vol.52Issue(11)：26-29,4.DOI:10.3778/j.issn.1002-8331.1510-0299
L*n系统中α-反向FMP和α-反向FMT问题的解
Solutions for α -reverse FMP and α -reverse FMT in L*n
摘要
Abstract
It proposes problems of α-reverse FMP, collective α-reverse FMP, as well as α-reverse FMT, collective α-reverse FMT. By introducing a preorder in F(S) , the solutions for these problems are given in propositional logical sys-tem L*n . And it clarifies that these solutions can be brought into line with the solutions of methods of α-reverse triple-I. Therefore, formal reasoning system of α-reverse triple-Ⅰ problems is provided in propositional logical system L*n .关键词
α-反向FMP问题/α-反向FMT问题/逻辑命题系统L*nKey words
α-reverse FMP/α-reverse FMT/propositional logical system L*n分类
数理科学引用本文复制引用
刘东利..L*n系统中α-反向FMP和α-反向FMT问题的解[J].计算机工程与应用,2016,52(11):26-29,4.基金项目
福建省教育厅科研项目(No.JB14218). （No.JB14218）
