论文部分内容阅读
将Godel逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统否中具有1/2聚点的三类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在的三类子代数中给出F(S)关于,同余的一个分划.
G(o)del逻辑系统中1/2-子代数上的广义重言式理论
【摘 要】
：
将Godel逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统否中具有1/2聚点的三类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在的三类子代数中给出F(S)关于
【机 构】
：
桂林航天工业高等专科学校计算机系
【出 处】
：
计算机工程与应用
【发表日期】
：
2004年期
【基金项目】
：
广西壮族自治区教育厅科研基金;
其他文献
介绍了单斜磷酸钒锂[ Li3 V2( PO4)3]的结构和充放电机理;综述了制备Li3 V2( PO4)3的方法,如高温固相法、溶胶-凝胶法和水热法的现状,以及改性,如表面包覆和元素掺杂等的进展
采用不同能量和剂量的N+离子束,对郑58、昌7-2和K12玉米自交系的干种子进行处理,结果表明,发芽率、发芽势和农艺性状变异都有很大差异,筛选出的N+离子束注入玉米自交系最佳诱
对鸡miR-18la的靶基因进行了预测及相关生物信息学分析,为深入研究miR-18la生物学功能提供理论指导.利用TargetScan 5.1与PicTar 2种计算方法对miR-18la进行靶基因预测,交集
采用固相法制备了钙钛矿型氧化物Sm0.5-xCdxSr0.5CoO3-δ(x =0,0.1,0.2,0.3,0.4,0.5)粉体.利用XRD分析材料的物相组成,用热膨胀仪测定了材料的热膨胀系数.利用交流阻抗法测试
本文研究了一个新的解析函数子类Mλ(g,h,ｕ,φ),(0≤λ≤1)的系数不等式.利用分析的方法和技巧,得到它精确的Fekete-Szeg(o)不等式及通过分式微分定义的函数类的Fekete-Szeg(o
通过高温固相法合成了Sr2 MgSi2O7:Eu2+,Nd3+发光材料,测试了样品的物相结构、可见和近红外激发和发射光谱、荧光寿命等,研究了Eu2+对Nd3+的近红外发光性能的影响及近红外发
利用掠入射X射线衍射法(GIXD)对PLLA和PHB混合制成的薄膜进行研究.通过改变两者的混合比、分子量、膜厚等参数,观察PHB的加入对混合薄膜中PLLA的结晶性的影响,并与相同条件下
研究微胶囊红磷(MRP)和聚苯醚(PPO)复合阻燃剂对高抗冲聚苯乙烯(HIPA)材料力学性能的影响,并用抗冲击改性剂ABA及AEBA对高抗冲聚苯乙烯(HIPS)/微胶囊红磷(MRP)/聚苯醚(PPO)无
采用水热法制备了Eu3+掺杂SrMgB6O11纳米发光材料。利用X射线粉末衍射仪(XRD)、场发射扫描电子显微镜(FESEM)和荧光光谱对SrMgB6O11:Eu3+样品进行表征。结果表明:采用水热法