论文部分内容阅读
将修正的Kleene逻辑系统中的语义MP规则推广后应用于Ha逻辑系统中，讨论了H1逻辑系统中广义重言式理论的语义（[a]-MP）规则、语义（[a＋]-MP）规则，使得对Ha系统中的广义重言式有了更进一步的认识，另外，逻辑系统刀中的广义语义MP规则也成为其中的一个特例。
逻辑系统H_α中的广义语义MP规则
【摘 要】
：
将修正的Kleene逻辑系统中的语义MP规则推广后应用于Ha逻辑系统中，讨论了H1逻辑系统中广义重言式理论的语义（[a]-MP）规则、语义（[a＋]-MP）规则，使得对Ha系统中的广义重言式有了更进一
【机 构】
：
西安文理学院数学系,陕西师范大学数学与信息科学学院
【出 处】
：
宁夏大学学报：自然科学版
【发表日期】
：
2009年2期
【基金项目】
：
基金项目：国家自然科学基金资助项目（10871121）
其他文献
脑卒中患者除有躯体偏瘫表现外，多数伴有构音障碍、流涎、呛咳及吞咽困难等表现。对此类患者，我们发现无论病程长短，只要接受正规康复训练，具交流障碍表现均可以得到改善。现报道
期刊
2000年是俄罗斯告别过去、开拓未来、迎接新世纪的一年.这一年,俄罗斯在新总统普京领导下结束了近10年的内乱,迈出了治理整顿的艰难一步.新的一年将是俄罗斯希望和困难同在、
基于极坐标系下四阶紧致差分方法,运用Taylor级数展开构造了一种极坐标系下求解一维Helmholtz方程的六阶紧致差分方法,通过分析所构造差分格式的截断误差确保该方法在理论上
我国推行的阳光体育运动和终身体育教育理念在本质上是互融的,但是在二者对接的过程中也出现了各种问题。影响阳光体育和终身体育有效对接的因素包括：1）教师因素;2）学生因素;3）经
给出了一些格效应代数的例子，并讨论了其理想．证明了效应代数的一个子集是代数系统E的一个极大效应代数理想，也是E的一个格理想当且仅当它是某个同态映射的核．特别地，单态射的像是
提倡＂体育学术化＂是吴蕴瑞体育思想的一贯主张,也是体育学科建设的重要途径。长期以来,吴蕴瑞在推进体育学科建设的过程中,形成了一整套的思想原则,成为了体育学科建设的思想基
研究了一类分数阶微分方程的边值问题：{D°0＋u（t）＋f（u（t））=0,u（0）=0,u（1）=0其中a（1〈a〈2）是实数，D°0＋是标准的Riemann-Liouville微分，f：[O，＋00）→[0，＋00）连续，t∈[0.1]利用范数形式的锥拉伸与