论文部分内容阅读
文章讨论了Godel逻辑系统中标准子代数E0上的广义矛盾式理论,给出标准子代数上可达0-重言式的一个分划,证明了在标准子代数E0中,重言式不可能由对非重言式进行有限次升级算法得到,利用广义重言式和α-矛盾式概念在E0中给出了F(S)的一个关于()同余的分划.
G(o)del逻辑系统中标准子代数上的广义矛盾式
【摘 要】
：
文章讨论了Godel逻辑系统中标准子代数E0上的广义矛盾式理论,给出标准子代数上可达0-重言式的一个分划,证明了在标准子代数E0中,重言式不可能由对非重言式进行有限次升级算法
【机 构】
：
桂林航天工业高等专科学校
【出 处】
：
桂林航天工业高等专科学校学报
【发表日期】
：
2004年期
【基金项目】
：
广西区教育厅科研基金;
其他文献
重量之失重也许每个人都有过这种奇妙的感受,就是在电梯开始下降的那一刹那,觉得自己的身体的重量似乎减轻了,这就是所谓的"无重力感".虽然脚下的电梯已经开始下降,但身体的
"飞信"是一种有效的思想政治教育辅助工具,与传统思想政治教育相比,"飞信"突破了时间和空间限制,同时具有随时互动的特点.运用"飞信"进行思想政治教育关键在于教育内容的编织
Mining Gene Expression Profiles: An Integrated Implementation of Kernel Principal Component Analysis
The detection of genes that show similar profiles under different experimental conditions is often an initial step in inferring the biological significance of s
本实验旨在合成和鉴定双烯雌酚(DEN)免疫抗原,通过双烯雌酚的酚羟基与琥珀酸酐反应,合成半抗原双烯雌酚-琥珀酰半酯(DEN-HS),采用混合酸酐法将其与载体蛋白BSA偶联制备免疫抗
应用荧光谱法,研究(N-(N-(2-(4-吗啉)乙胺)-4-酰胺吖啶)-α-丙氨(MACA)与血清白蛋白(HSA)的相互作用,确定MACA-HSA的静态荧光猝灭机制和疏水力相互作用,系统考察MACA与HSA的
本文将热水管道铺设的可行线路抽象为一个无向加权图,这样实际的最短路径问题抽象为无向加权图中两顶点之间的最短路径问题;采用Dijkstra算法找出图中起始顶点到达其余顶点的
中职学校学生的文化基础普遍较为薄弱,在数学课教学过程中,学生在学习排列、组合这种比较抽象、容易混淆的问题时往往感到模糊不清,反反复复,难以理清头绪.因此,在此类知识点
Keggin型钼氧酸盐化合物{PMoⅥ7MoⅤ4VⅤO40(VⅣO)2[Co(bipy)2(H2O)]2}[Co(bipy)3]2{PMoⅥ7MoⅤ4VⅤO40(VⅣO)2} 6H2O的合成、结构及性
合成了一种新颖的修饰型的Keggin结构多金属氧酸盐超分子化合物,并用单晶衍射仪测定了其晶体结构,元素分析及红外光谱等进一步佐证了化合物的结构.配合物为三斜晶系,P-1空间
An analytical solution of drawdown caused by pumping was developed for an aquifer partially penetrated by two streams.The proposed analytical solution modifies