论文部分内容阅读
与G(o)del系统中广义重言式之间的一种升级算法相对应,作者给出了G(o)del系统中广义矛盾式之间的一种降级算法,对其基本性质进行了讨论,并讨论了G(o)del系统中关于广义矛盾式理论的广义语义MP规则与广义语义HS规则,为进一步对G(o)del系统的研究提供了帮助.
G(o)del系统中一种降级算法及性质
【摘 要】
：
与G(o)del系统中广义重言式之间的一种升级算法相对应,作者给出了G(o)del系统中广义矛盾式之间的一种降级算法,对其基本性质进行了讨论,并讨论了G(o)del系统中关于广义矛盾式
【机 构】
：
陕西师范大学数学研究所
【出 处】
：
四川大学学报
【发表日期】
：
2004年期
其他文献
本文证明了可分无穷维Hilbert空间上每个有界线性算子均可写成两个强不可约算子之和. 这回答了文献[9]中提出一个公开问题.
教学是一门科学,也是一门艺术,作为教师,应该娴熟而灵活地运用各种有效的教学方法与策略,取得良好的教学效果.本文主要介绍了为了提高学生英语学习兴趣,在英语课堂实施鼓励策
在新课程标准下的小学英语拼读教学中,教师应注意在音标中渗透拼读,在单词中练习拼读:在chant中巩固拼读;在书写中加强拼读,让学生在玩中学,乐中学,在玩中长智,乐中受益.
提出并研究了无界函数指标集合上经验过程的大偏差尾部的局部概率指数不等式,给出了一种新的截割原始概率空间的方法和新的对称化方法.利用这些方法,导出了无界函数指标集合上非i.i.d.独立样本的经验过程大偏差尾部的局部概率指数不等式,并给出了它们的若干应用.作为应用的一个附带结果,在Kolmogorov定理所给的条件下,将Kolmogorov关于非i.i.d的独立随机变量和的强收敛结果推广到无界函数指标
SD系列摊铺机上市时间:2011年9月产地:中国制造商:戴纳派克(中国)压实摊铺设备有限公司关键词:Pole Position、可移动平台、整体控制找平系统在细节和质量上的精密设计,使SD
以N-异丙基丙烯酰胺(NIPAAm)为单体,合成了NIPAAm均聚凝胶.研究了25℃时它们在乙醇水溶液中的溶胀平衡.实验发现:当乙醇浓度约为12%时,少量乙醇的进一步加入将使溶涨的凝胶突
研究了气调包装技术对草莓贮藏保鲜的效果.结果表明,草莓最佳气调贮藏的条件为2.5%O2+16%CO2,它能够把草莓的货架寿命延长4～6d;利用LDPE和PVC复合膜明显优于LDPE膜和PVC膜.气
用耦合模理论对长周期光纤光栅进行了简要分析,概要叙述了CO_2激光写入制作的长周期光纤光栅技术的最新进展。
Long-period fiber gratings are briefly analyzed by coupli
从施工各环节讨论市政工程中盲渗沟的施工技术要求。
Discuss the construction technical requirements of blind gully in municipal engineering from all aspects of co