【摘 要】
：
Refutation methods based on the resolution principle aregenerally applied to a (finite) set of sentences, which must have aseries of pre-transformations (prenex
【机 构】
：
Department of Computer Science
论文部分内容阅读
Refutation methods based on the resolution principle aregenerally applied to a (finite) set of sentences, which must have aseries of pre-transformations (prenex normalization, Skolemization andconjunction normalization) before starting the refutation. In thispaper, the authors first generalize the concept of abstractconsistency class to the most general form---universal abstractconsistency class, and prove its universal unifying principle.Then, based on the R-refutation, a universalrefutation method is proposed and its soundness andcompleteness are proved by means of the universal unifying principle.This method can be applied directly to any finite set of wffs without preprocessing the wffs at all so that the refutation procedure is more natural.
其他文献
An interfacial crack is a common damage in a composite material structure . An extended propagation model has been established for an interfacial crack to study
The coherent structures of a three-dimensional temporally mixing layer and the associated dispersion patterns of particles are numerically studied using a pseud
This paper proposes the concept of generalized L systems, GL systems for short, which can describe asynchronized concurrent phenomena. We have proved that the G
Besides the fact of parity violation in weak interactions, based on evidences from neutrino oscillation and tritium beta decay, a natural conjecture is hat neut
We use a many-sorted language to remove commutativity from phasesemantics of linear logic and show that pure noncommutativeintuitionistic linear propositional l
在稳态模型和局域热力学平衡等假设下,推导了在均匀纵向磁场下真空电弧压力梯度的数学表达式,分析了纵向磁场对电弧压力梯度的影响,提出了纵向磁场能够提高真空电弧开断能力
与目前共混方法制备光存储材料不同，本实验采用共聚的方法制备光存储薄膜．主要介绍了其中间体N－（甲基丙烯酰基）氨基苯乙酮的合成，通过紫外、红外光谱及元素分析手段对其进行了表征．
分别采用离子交换树脂分离法和无机沉淀剂分离法对Fe3+、Co2+、Ni2+混合体系进行离子分离，然后利用滴定分析法或重量分析法对分离出的离子的含量进行分别测定．根据离子含量测定
Power connector, as one kind of fittings, is used to connect power equipment to conductor, conductor to wire or wire to wire in power lines. Owing to its simple
利用磁控溅射法在Co-40Cr基体上制备纳米级Co-40Cr-0.5Y涂层.1000℃空气中恒温氧化和循环氧化实验表明:该涂层的抗氧化性能好于基材Co-40Cr合金.声发射(AE)实验表明:该涂层表