逻辑模型论文

摹略万物之然，论求群言之比——模态逻辑新观念述评，本文主要内容关键词为：述评论文,言之论文,万物论文,新观念论文,逻辑论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅...

网络本体语言构成的理论模型研究，本文主要内容关键词为：本体论文,模型论文,理论论文,语言论文,网络论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。〔分类号〕G...

不完全性与形式语言，本文主要内容关键词为：完全性论文,形式论文,语言论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。一、引言谈到哥德尔不完全性定理，有人说它动...

逻辑和语言研究的交叉互动，本文主要内容关键词为：互动论文,逻辑论文,语言论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。中图分类号：B815文献标识码：A文章...

走向模型论的模态逻辑，本文主要内容关键词为：逻辑论文,模型论文,走向论文,模态论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。修订日期：2008-11-14中...

中国科学院研究所评价的逻辑模型研究，本文主要内容关键词为：中国科学院论文,逻辑论文,模型论文,研究所论文,评价论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。...

基于逻辑回归分析的虚假财务识别模型，本文主要内容关键词为：虚假论文,逻辑论文,模型论文,财务论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。一、引言自2003...

论模态谓词逻辑的“非指称”问题——基于自由逻辑的考察，本文主要内容关键词为：谓词论文,逻辑论文,自由论文,模态论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。...

哲学中的形式化，本文主要内容关键词为：哲学论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。中图分类号：B81文献标志码：A文章编号：2095-0047(201...

余代数与模态逻辑，本文主要内容关键词为：代数论文,逻辑论文,模态论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。中图分类号：B815文献标识码：A文章编号：1...

HERG收益框架及其在学术研究影响评价中的应用，本文主要内容关键词为：学术研究论文,框架论文,收益论文,评价论文,HERG论文，此文献不代表本站观点，内容供学术参考，文章仅供参...

形式研究与形式化方法，本文主要内容关键词为：形式论文,方法论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。对于“形式主义”这一称谓而言，真正重要的不是关于文学...

国外商业模式表达模型评介与整合表达模型构建，本文主要内容关键词为：模型论文,商业模式论文,国外论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。一、引言近年来，...

信息资源云体系及服务模型(上)——信息资源云与知识服务，本文主要内容关键词为：信息资源论文,模型论文,体系论文,知识论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读...

信息资源云体系及服务模型研究(下)——服务体系，本文主要内容关键词为：信息资源论文,服务体系论文,模型论文,体系论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载...

经典数学的逻辑基础，本文主要内容关键词为：逻辑论文,数学论文,基础论文,经典论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。经典数学理论的逻辑完全是一阶逻辑还...

模态逻辑模型的嵌入定理，本文主要内容关键词为：定理论文,逻辑论文,模型论文,模态论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。摘要：本文Henkin的嵌入定...

商业模式理论演化述评，本文主要内容关键词为：述评论文,商业模式论文,理论论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。商业模式是企业存在的一种形态，任何企业...

子集空间下的邻域扩张，本文主要内容关键词为：邻域论文,子集论文,空间论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。中图分类号：B81文献标识码：A文章编号：...

加名字核证逻辑的极小系统，本文主要内容关键词为：极小论文,逻辑论文,名字论文,系统论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。美国逻辑学家M.斐汀在201...