组合逻辑:一种新的逻辑研究方法

来源 :重庆工学院学报(社会科学版) | 被引量 : 0次 | 上传用户:requst2009
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
组合逻辑是一个新兴的逻辑研究领域,是当前国际逻辑研究的重点。在国外对它的研究非常重视,但在我国对它的研究几乎是空白。基于此,对组合逻辑的定义、组合逻辑产生的背景以及组合逻辑的方法加以介绍,借此希望我国逻辑学界重视并加强对这方面的研究。
其他文献
马铃薯甲虫Leptinotarsa decemlineata (Say);是重要的外来入侵物种和检疫性害虫,国外已开发出多杀菌素等防治马铃薯甲虫的生物杀虫剂,但由于马铃薯甲虫传入我国不久,对其致
目的:考察不同厂家生产的双黄连口服液的质量。方法:采用高效液相色谱(HPLC)法对市售的双黄连口服液中的主要成分黄芩苷、绿原酸和连翘苷的含量进行测定。色谱柱为Agilent ZO
随着我国汽车工业和公路交通运输业的快速发展,不但橡胶的需求量和轮胎的生产量迅猛增加,而且废旧轮胎的数量也急剧增长并已成为我国新的固体污染源。为了保护环境和循环利用
20世纪80年代以来,随着全球经济重心逐渐向服务业转移,服务贸易得以蓬勃发展,服务贸易结构进一步提升,集中体现在传统服务贸易比重持续下降,以知识技术密集型为特点的新兴服
增值税专用发票的使用存在诸多问题,就如何加强增值税专用发票的管理提出几点建议,与大家共勉。
《毛泽东对中国传统哲学的继承与创新研究》是在国内外研究毛泽东与中国传统文化特别是中国传统哲学的继承与创新的基础而形成的多角度、全方位、全面系统研究毛泽东与中国传
文章对汽轮机水泥垫块冬季浇灌中常见的质量缺陷进行了分析,从工艺特点、工艺流程、质量要求、后期养护等方面在低温条件下进行了阐述和探讨,为同类型机组冬季施工提供了借鉴
通过对两所美国图书馆---厄本那图书馆和芝加哥图书馆,两所国内少儿馆---上海少年儿童图书馆和广州少年儿童图书馆所举办的未成年人活动进行调查,对中外图书馆开展的未成年人活
无机高分子聚合铝絮凝剂包括以自发水解法制备的以P-Al13为代表的絮凝剂,和以强制水解法制备的以K-Al13和Al30为代表的絮凝剂。具有“板挂”式结构的自发水解产物与具有“核
所谓高阶技术技能型人才,是指技术技能型人才中的高级技师、高级工程师及其以上的技术技能型人才。现代职业院校只有培养更多的高阶技术技能型人才,才能彰显其在我国教育从大