L_n*系统中α-反向FMP和α-反向FMT问题的解  

Solutions for α-reverse FMP and α-reverse FMT in L_n*

作　　者：刘东利[1] 

机构地区：[1]集美大学诚毅学院,福建厦门361021

出　　处：《计算机工程与应用》2016年第11期26-29,共4页Computer Engineering and Applications

基　　金：福建省教育厅科研项目(No.JB14218)

摘　　要：提出了α-反向FMP、多重α-反向FMP,以及α-反向FMT和多重α-反向FMT问题。通过在F（S）中引入一个预序,在Ln^＊系统中,给出了上述问题的解。并说明了这些解从形式上和α-反向三I算法的结果一致,从而在逻辑系统Ln^＊中建立了反向三I算法的形式化推理机制。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 system Ln^＊. 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-I problems is provided in propositional logical system Ln^＊.

关 键 词：α-反向FMP问题 α-反向FMT问题 逻辑命题系统Ln^＊ 

分 类 号：O141.1[理学—数学]