公理系统论文

经典一阶逻辑的希尔伯特型系统，本文主要内容关键词为：希尔伯特论文,逻辑论文,经典论文,系统论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。中图分类号：O141...

认知命题集合的逻辑构造及其相互关系，本文主要内容关键词为：命题论文,认知论文,相互关系论文,逻辑论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。一、三分的认知...

罗素类型论研究（二），本文主要内容关键词为：罗素论文,类型论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。中图分类号：B561.54文献标识码：A文章编号：1...

三分的认知世界与怀疑逻辑的独立性，本文主要内容关键词为：独立性论文,认知论文,逻辑论文,世界论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。在《建立在笛卡尔公...

非标准逻辑基础上的知识逻辑SI，本文主要内容关键词为：逻辑论文,基础上论文,非标准论文,知识论文,SI论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。之所以构...

守善寻本，雕塑和谐社会中完善的人，本文主要内容关键词为：的人论文,和谐社会论文,雕塑论文,守善寻论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。观点快递：善恶...

论本体与本体语言及其在信息检索领域的应用，本文主要内容关键词为：本体论文,信息检索论文,领域论文,语言论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。本体（O...

主要本体表示语言的比较研究，本文主要内容关键词为：本体论文,语言论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。【分类号】G250.76G354.4本体（On...

广谱哲学的基本概念、框架与应用，本文主要内容关键词为：基本概念论文,框架论文,广谱论文,哲学论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。中图分类号：B08...

辩证逻辑与形而上学——兼析形式系统Z的辩证法含义，本文主要内容关键词为：辩证逻辑论文,形而上学论文,辩证法论文,含义论文,形式论文，此文献不代表本站观点，内容供学术参考，文章仅...

标准道义逻辑和反义务悖论，本文主要内容关键词为：悖论论文,道义论文,逻辑论文,义务论文,标准论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。一、道义逻辑和标准...

关于现代逻辑教学中若干问题的思考，本文主要内容关键词为：若干问题论文,逻辑论文,教学中论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。自1978年全国第一次逻...

从PAL看认知逻辑的动态转换，本文主要内容关键词为：认知论文,逻辑论文,动态论文,PAL论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。文章编号：1000-8...

类型—逻辑语法的句法特色，本文主要内容关键词为：句法论文,语法论文,逻辑论文,特色论文,类型论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。中图分类号：B81...

多模态范畴逻辑研究，本文主要内容关键词为：范畴论文,逻辑论文,多模论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。一、多模态范畴逻辑的背景介绍自上个世纪70年...

评三值逻辑SLO，本文主要内容关键词为：逻辑论文,评三值论文,SLO论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。读了楚白[2005]后，我认真阅读了鞠实儿...

又不忍沉默，本文主要内容关键词为：又不论文,沉默论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。徐明：五年前，针对一部不成体统的史书《逻辑学百年》(以下简称《...

贫困测度指标及其评价，本文主要内容关键词为：贫困论文,指标论文,评价论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。中图分类号：F224.0文献标识码引言一般...

经济学怎样成了一门“数学科学”——经济思想史的一种简要考察，本文主要内容关键词为：成了论文,一门论文,简要论文,经济学论文,思想史论文，此文献不代表本站观点，内容供学术参考，文...

基于语义网的本体转换模型研究，本文主要内容关键词为：语义论文,本体论文,模型论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。目前万维网上的网页数量已超过150...