|
|||||
|
|
| L_n*系统中α-反向FMP和α-反向FMT问题的解 | |
| 作者单位： | ;1.集美大学诚毅学院 |
| 摘 要： | 提出了α-反向FMP、多重α-反向FMP,以及α-反向FMT和多重α-反向FMT问题。通过在F(S)中引入一个预序,在L_n~*系统中,给出了上述问题的解。并说明了这些解从形式上和α-反向三I算法的结果一致,从而在逻辑系统L_n~*中建立了反向三I算法的形式化推理机制。 |
| 关 键 词： | α-反向FMP问题 α-反向FMT问题 逻辑命题系统L*n |
Solutions for α-reverse FMP and α-reverse FMT in L_n* |
|
| Abstract: | |
| Keywords: | |