10.3969/j.issn.1001-7402.2005.01.002
修正的Product逻辑系统中的广义重言式理论
首先证明了在修正的Product逻辑系统中广义重言式有更加精细的区分;其次通过引入一类特殊的公式序列和特殊公式,进一步证明了对任意有理数α∈[0,1],可达α-重言式集是类类非空的,并同时给出了修正的Product逻辑系统中广义重言式的升级算法.
修正的P-逻辑、广义重言式
19
O141.1(数理逻辑、数学基础)
2005-05-19(万方平台首次上网日期,不代表论文的发表时间)
共6页
12-17