【摘 要】
：
将王国俊教授于1997年以来在逻辑系统W∧-、W、Wk中引入的广义重言式理论加以扩充、推广，引入α-矛盾式等概念并应用于Goedel逻辑系统G∧-、G、Gn中，得到了（1）在逻辑系统G∧-、G
论文部分内容阅读
将王国俊教授于1997年以来在逻辑系统W∧-、W、Wk中引入的广义重言式理论加以扩充、推广，引入α-矛盾式等概念并应用于Goedel逻辑系统G∧-、G、Gn中，得到了（1）在逻辑系统G∧-、G中，重言式不可能由对非重言式进行有限次升级算法得到；（2）在逻辑系统Gn中，对任一公式最多进行n-1次升级算法即可得到重言式；（3）在逻辑系统Gn中，{C（Gn),[i/n-1-C(Gn),][i/n-1]-T(Gn),T(Gn)|i∈{1,2,…,n-2}}是F（S）的一个关于→同余的分划，在逻辑系统G∧-中，{C
其他文献
奕訢在清代咸同之际的时局观邓辉第一次鸦片战争，西方列强试探性地向中国闭关、腐朽的封建泥潭投下了一块不大不小的石子，但它并没有激起中国人奋发图存的巨大波澜。除了魏源、
凯瑟琳＆#183;苏珊娜＆#183;普理查德是一位在澳大利亚文坛上极富盛名的中心人物。她的小说《沸腾的九十年代》向我们展示了资本主义制度在澳大利亚的兴起，批判了新兴资产阶的贪婪
民族教育超常规发展的理论和实践探索孟立军民族教育是我国教育体系中不可分割的重要组成部分。它的发展水平，直接关系着我国教育事业的发展水平；它的发展程度，是影响我国社会主
由二维母小波函数的函数投影，得到二维母小函数与一维母小波函数的非张量积关系，指出当二维上波函数满足一定的条件时，其投影为一维线小波函数，二维小波变换可由春投影的一维小波
民族山区财源结构调整问题初探郑东风一个地区的财源结构是影响该地区财政收人、社会生产的重要因素，就民族山区来说，优化财源结构是实现脱贫致富、经济增长必须要做的工作。本
经过多年的教育、传承和发展,在当代大学生中已形成一个富有特色、具有生命力的理想信念体系。要培养提高大学生对正确的理想信念的认知、认同度,发挥理想信念的凝聚、导向、
给出了幂等矩阵在一定条件下的Bellman不等式.
台湾少数民族的神话与传说张崇根台湾少数民族的神话与传说，是他们对宇宙构成、异象和灾害等自然现象进行的猜想和解释，有太阳神话、洪水神话和创世神话等，这些神话传说，是他们传
本文在吴勃英，崔明根论文（高等学校计算数学学报，2000年）基础上给出W^2(R)×W^2(R)空间中微分算子样条小波的投影定理与展开定理，且证明了空间中任一函数的级数开展式在L^2(R^
Ｌｙａｐｕｎｏｖ泛函方法讨论了具有连续分布时滞神经网络模型ｘｉ（ｔ）＝ｂｉｘｉ（ｔ）＋（ｎ）∑（ｊ＝１）ａｉｊｆｊ（μｊ∫－∞ｋｉｊ（ｔ－ｘ）ｘｊ（ｓ）ｄｓ）＋Ｆｉ（ｔ），ｉ＝１，２，…，ｎ平衡点的稳定性，获得了一些新的充分条件。