论文部分内容阅读
与Goedel系统中广义重言式之间的一种升级算法相对应，作者给出了Goede1系统中广义矛盾式之间的一种降级算法，对其基本性质进行了讨论，并讨论了Goedel系统中关于广义矛盾式理论的广义语义MP规则与广义语义HS规则，为进一步对Goedel系统的研究提供了帮助。
Goedel系统中一种降级算法及性质
【摘 要】
：
与Goedel系统中广义重言式之间的一种升级算法相对应，作者给出了Goede1系统中广义矛盾式之间的一种降级算法，对其基本性质进行了讨论，并讨论了Goedel系统中关于广义矛盾式理论的
【机 构】
：
陕西师范大学数学研究所
【出 处】
：
四川大学学报：自然科学版
【发表日期】
：
2003年6期
其他文献
在Hilbert空间中引入并研究了一类涉及广义极大单调映象的集值变分包含问题,利用预解算子技巧构造这类变分包含解的迭代逼近算法,证明了解的存在性以及由算法生成的迭代序列
推广并利用Banach空间中方向Lipschitz条件,证明了一类不具连续条件的隐式微分方程的解的存在唯一性.
引入了一类新的带ψ-强单调映象的广义非线性拟变分包含.在Hilbert空间中使用极大η-单调映象的预解算子方法建立了这类变分包含解的存在性定理,构造了求此类变分包含解具误
作者给出了C半群T(t)为概(渐近概)自守的充分必要条件，并对C半群的Sp概周期性，Sp概自守性与概周期性之间的关系进行了讨论.
利用分析方法建立了一个比已有结果更广泛的不等式;设k,n∈N,μ>0,i=0,1,…,n,且∑ni=0xi=1.则当n≥k+μ-2时有Ek((1)/(x0)-μ,(1)/(x1)-μ,…,(1)/(xn)-μ)≥n+1k(n-μ+1)k,
烟草再生植株在含有 0 .3mg/L 2 ,4 D和 5× 10 8个 /L豌豆根瘤菌的Jensen培养基中 ,可以在其根部形成大量近似半球形和球形的类根瘤 .烟草再生植株的结瘤除受制于 2 ,4
定义了凸N边形的k-Brocard点,建立k-Brocard线的长L(k)的一类不等式.
证明了具有光滑对合T的(4n+2m+2+k)-维闭流形M,如果对合的不动点集为F=P(2m,2n+1),其中2m≥8,2n≥2m,k>0,则(M,T)协边于零.
运用单群分类定理,给出了阶为2a3bpcqd(p≡1(mod q))的所有K4-单群,从而,给出了p≡1(mod q)(p是|G|的最大素因子,q是|G|的次大素因子)的所有K4-单群.
关于t>0连续的正则半群和积分半群称为奇异的.作者证明:一个奇异的正则半群总可以正则化为一个正则半群,而一个奇异的n-次积分半群的生成元也是一个可微的(n+1)-次积分半群的