论文部分内容阅读
提出修正的RDP逻辑系统,并证明了此系统中的广义重言式有更加精细的区分。利用广义重言式概念得到公式集F（S）的一个分划,建立了修正的RDP逻辑系统中的各类广义语义MP规则与广义语义HS规则。
修正的RDP逻辑系统中的广义重言式理论
【摘 要】
：
提出修正的RDP逻辑系统,并证明了此系统中的广义重言式有更加精细的区分。利用广义重言式概念得到公式集F（S）的一个分划,建立了修正的RDP逻辑系统中的各类广义语义MP规则与广义
【机 构】
：
延安大学数学与计算机科学学院
【出 处】
：
济南大学学报：自然科学版
【发表日期】
：
2015年4期
【基金项目】
：
国家自然科学基金（11471007）, 陕西省自然科学基金（2014JM1020）, 陕西省科技计划社发攻关项目（2014ks15-03-07）
其他文献
以人工合成的纳米碳羟基磷灰石(n-CHAP)吸附水溶液中的镉离子(Cd2+),考查pH值、反应时间及Cd2+初始浓度等因素对吸附效果的影响,并探讨吸附机理。结果表明:n-CHAP对Cd2+的吸
<正> 常常可以听到“买书难”、“卖书难”的呼声。究竟买书、卖书难不难,难在何处?这不得不引起人们的思考。对“两难”的认识先说'买书难'.哪些书'买书难'
以分子氧为氧化剂,研究2,2,6,6-四甲基哌啶氮氧自由基（TEMPO）与助催化剂N,N’-双（2-二甲氨基乙基）草酰胺合铜（Ⅱ）配合物在碱性水溶液中选择性催化氧化苯甲醇,探讨温度、氧压力和时
我国的期货市场如何吸收国外期货市场的成功经验,逐步在发展中完善是一个值得探讨的话题。本期40页李行的《新加坡期货市场的建立与发展及其对我国的启示》一文,着重谈了新加
<正> 为切实贯彻中央精神,提高编辑队伍的整体素质,进一步提高图书的总体质量,促进出版事业的繁荣,我局于1991年7月20日至8月24日举办了3期编辑业务学习班,对省内7家图书出版
<正> 一企业是社会经济的细胞,是发展生产力的基本单位。因此,要达到建立一个充满生机和活力的社会主义经济体制的改革目的,就必须深化企业改革。而深化企业改革的关键,在于
制冷效率（COP值）是系统所能实现的制冷量（制热量）和输入功率的比值,在相同的工况下,其比值越大说明这个系统的效率越高越节能。中央空调系统的节能办法体现在检测和运行维护中。
振冲碎石桩在水利、交通、铁路、工业及民用建筑等方面有着广泛的应用。介绍了振冲碎石桩复合地基的常规检测方法及工程物探方法。为其它形式的复合地基检测提供借鉴。
钢在地壳中的含量很低，但是钼作为一种稀有金属，在我们生活的各个方面都起着不可替代的作用。然而怎样才能更大限度的从钼矿石中分离出金属钼是当今研究的重要问题。本文主要讲