形式演绎系统L~*的运算与弱演绎定理

来源 :湘南学院学报 | 被引量 : 0次 | 上传用户:wlm7411814
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在著名的形式演绎系统L*中引入一种新的运算(○+),讨论了这种运算的性质,得到了形式演绎系统的弱演绎定理.
其他文献
光纤自发明以来,便以其优良的性能被广泛应用于通信行业。随着技术的不断进步,多孔光纤以其更大的传输量和更小的失真度,越来越受到人们的重视。多孔光纤主要分为光子晶体光
在分析我国及包钢无缝钢管现状的基础上,提出了包钢无缝钢管的营销策略。
目前对于归有光在他的时代树立其文章家地位的经解学术性文章的研究,完全是一个空白,这类散文对理解归有光的成就而言,实际上是除事关天属类散文外最重要的部分之一,归有光的
旅行车是享受生活的最佳交通工具,只可惜国内的旅行车实在太少。在屈指可数的几款车中,奔驰C级旅行算是一款精品,尤其是改款后
用一水合硫酸氢钠催化硬脂酸与正已醇的酯化反应合成了硬脂酸己酯.考察了催化剂用量、醇酸摩尔比、反应时间对酯化反应的影响.在典型反应条件下(正己醇与硬脂酸摩尔比=15:1,0
梅赛德斯—奔驰的新一代S级已经在中国上市,作为三叉星里的领袖,该车堪称是汽车技术的集大成者。为此,厂商特意在北京举办了一次产品体验日。
八月,旅游旺季来了,出游的心蠢蠢欲动,体验“速度与激情”的自驾游更是听起来潇洒,看上去很美,充满诱惑。想起去年十一黄金周带着兴奋的心情踏上了北京到上海的自驾之旅,享受了高速
对社区乡镇公共电子阅览室在建设过程中存在的一些问题进行分析,探讨了社区乡镇公共电子阅览室建设的必要性以及公共阅览服务的开展方式。
对一台50M3液化石油气储罐进行开罐检验,对其裂纹产生的原因进行分析并提出处理方法.
采用邻苯二甲酸二正丁酯为内标物,用OV-17填充柱和氢火焰检测器对二嗪磷进行定量分析,方法标准偏差为0.54,变异系数1.33%,线性相关系数0.9998,平均回收率99.6%.