逻辑命题系统Ln^＊相关硕士博士期刊学术论文 - 信丰网

逻辑命题系统Ln^＊相关论文

Ln^＊系统中α-反向FMP和α-反向FMT问题的解

提出了α-反向FMP、多重α-反向FMP,以及α-反向FMT和多重α-反向FMT问题。通过在F(S)中引入一个预序,在L_n~*系统中,给出了上述问......

期刊

α-反向FMP问题 α-反向FMT问题逻辑命题系统Ln^＊ α-reverse FMP α-reverse FMT propositional logic

看过本文同时还关注