论文部分内容阅读
将修正的G(o)del逻辑系统中广义矛盾式理论推广,讨论了修正的G(o)del逻辑系统中一类子代数上的广义矛盾式理论,进而在相应的子代数上给出了公式集F(S)的一种分划.
修正的G(o)del系统的子代数中F(S)的分划及升级算法
【摘 要】
：
将修正的G(o)del逻辑系统中广义矛盾式理论推广,讨论了修正的G(o)del逻辑系统中一类子代数上的广义矛盾式理论,进而在相应的子代数上给出了公式集F(S)的一种分划.
【机 构】
：
桂林航天工业学院 信息工程系,桂林航天工业学院 电子工程系
【出 处】
：
计算机工程与应用
【发表日期】
：
2004年期
【基金项目】
：
广西壮族自治区教育厅科研基金;
其他文献
民间文艺是一种文化现象,西安作为历史文化名城,地方民间文艺资源丰富、门类众多,为文化产业的发展提供了有利的条件。从环境的角度来看,西安地方民间文艺产业化发展具有极其
不唯一且附加态正则情形的生灭过程的轨道结构异常复杂,利用It(o)游程理论研究了此类生灭过程的具体构造,回避了传统的“分析”方法.
合成了多金属普鲁士蓝类配合物Co0.25Mn1.25[Fe(CN)6]·5.9H2O并测定其磁学性质.变温磁化率研究表明:化合物存在亚铁磁性交换相互作用,磁相变温度Tc是9.5K；由场冷却(FC)磁化强
用溶剂热法合成了含混合配体的双核镉配合物[Cd2(BHP)2(2,6-pda)2(H2O)2]·H2O(BHP=吡啶2,6-二甲酰肼,2,6-H2pda=吡啶-2,6-二甲酸),用红外光谱和元素分析对配合物进行了表征
人血清白蛋白是血液中最丰富的蛋白质,被利用来结合和运输许多不同类的内源和外源化合物.阴离子药物可以随意地结合在白蛋白的ⅡA亚域,而大多数阳离子药物却很难结合在该区域
通过共沉淀方法制备了不同锂含量的球形富锂正极材料Li1+x[Ni0.5Co0.2 Mn0.3]1-xO2(x=0.091,0.115,0.138).采用XRD、SEM和电池充放电测试仪研究了不同锂含量对于球形富锂正极
卵巢癌是恶性程度很高的妇科肿瘤之一.在一些卵巢癌组织中常常存在p53基因的突变.p53基因突变和第72密码子多态性在癌症诊断中的作用目前尚不明确.有研究表明,p53肿瘤抑制基
利用算子半群理论和几个不等式讨论了一类半线性热方程组初值问题的非负非平凡解,验证了方程组(1)的非负非平凡解具有有界性的结果,并进一步得出其上下界的具体形式,从而得到
根据轧制时体积不变条件和环件轮廓近似为圆的假设,推导验证了环件径轴向轧制时的导向辊运动公式,并将其用于基于Deform-3D的环件径轴向轧制模拟时的导向辊设置。结果表明:以