论文部分内容阅读
提出一种将命题逻辑公式压缩表示的方法--公式的压缩图,给出相应的形式系统,并证明该系统的证明效率比传统相继式演算系统Gentzen{cut}有指数级的提高,从而为命题逻辑提供了一种新的有效的推理系统.
命题逻辑公式的压缩表示及其相应的形式系统
【摘 要】
：
提出一种将命题逻辑公式压缩表示的方法--公式的压缩图,给出相应的形式系统,并证明该系统的证明效率比传统相继式演算系统Gentzen{cut}有指数级的提高,从而为命题逻辑提供了
【机 构】
：
西安电子科技大学,西安电子工程研究所
【出 处】
：
模糊系统与数学
【发表日期】
：
2004年期
其他文献
基于中国数字海洋建设的经验和成果,制定了海洋数据要素的分类方案,将海洋信息分为5大类:海洋点要素、海洋线要素、海洋面要素、海洋网格要素、海洋动态要素。采用基于特征的方法和面向对象的技术设计了适合数字海洋大型信息系统工程建设的时空数据模型,探讨了海洋空间数据模型、海洋立体格网数据模型、关系数据模型在数字海洋数据仓库建设中的应用,并总结了其优缺点。
将高温固相法制得的YBCO研磨,于无水乙醇中进行超声分散获得纳米YBCO/乙醇溶胶,随后掺入纳米金溶胶,浓缩、干燥得金掺杂的YBCO材料.结果发现,纳米金掺杂的YBCO/乙醇溶胶中粒
以 ZnCl2,1,3-二羧甲基苯并咪唑为原料,采用常温溶剂挥发法,在甲醇水溶液中合成了Zn(Ⅱ)配合物{[Zn(BCBI)2(H2O)4]·2H2O(1) },其结构经IR,元素分析和X-射线单晶衍射表征.1属
一些生物可降解高分子材料由于具有良好的生物相容性,并且它们的降解产物对机体毒副作用小,因而具备了应用到人体内的条件。在现代药剂学中,生物可降解高分子材料的应用也越
采用两步碱催化法探讨了尿素(U)、三聚氰胺(M)和无机黏土等对酚醛树脂(PF)胶粘剂性能的影响。结果表明:适宜的n(甲醛)∶n(苯酚)比例是3.00∶1或2.00∶1;尿素改性可降低PF胶粘
基于平面应力假设和热黏弹性材料的积分型本构关系,建立了以位移分量为未知量的热黏弹性梁静动力学分析的二维数学模型.针对拟静态弯曲问题,首先,在Laplace变换域,引入位移势
由于具有良好的结构、力学性能,复合材料层合板在现代飞行器上大量应用;而压电复合材料,作为一种新兴的智能材料,由于其独特的力电耦合性能得到了人们更多的关注。本文研究含
研究了尿酸在羧基化短碳纳米管修饰碳糊电极上的伏安行为.结果表明:在0.20 mol/L 磷酸盐(pH 5.79)介质中,此修饰电极对尿酸具有较好的电催化活性,该氧化峰的二阶导数峰电流与
采用基于密度泛函理论的第一性原理的分子动力学方法系统地计算了温度为300K时CaB6基态的电子结构、态密度和光学性质.能带结构分析表明CaB6属于一种直接带隙半导体;其导带主