摘要: 提出了[α]-反向FMP、多重[α]-反向FMP,以及[α]-反向FMT和多重[α]-反向FMT问题。通过在[F(S)]中引入一个预序,在[L?n]系统中,给出了上述问题的解。并说明了这些解从形式上和[α]-反向三I算法的结果一致,从而在逻辑系统[L?n]中建立了反向三I算法的形式化推理机制。
刘东利. [L?n]系统中[α]-反向FMP和[α]-反向FMT问题的解[J]. 计算机工程与应用, 2016, 52(11): 26-29.
LIU Dongli. Solutions for [α]-reverse FMP and [α]-reverse FMT in [L?n][J]. Computer Engineering and Applications, 2016, 52(11): 26-29.