10.3969/j.issn.1001-7402.2007.04.004
系统Hα中F(S)的一个分划及一种升级算法
研究王国俊提出的系统Hα中F(S)的分划问题,利用可达广义重言式的概念给出F(S)的一个关于(一)同余的分划,并给出了各类间的一种升级算法,证明在系统Hα中,重言式不可能由对非重言式进行有限次升级算法得到.
模糊命题演算、可达α+-重言式、分划、升级算法
21
O141.1(数理逻辑、数学基础)
国家自然科学基金10471083
2007-10-29(万方平台首次上网日期,不代表论文的发表时间)
共6页
16-21