系统管理与三维结构,本文主要内容关键词为:结构论文,系统论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。在市场竞争的形势下,为社会服务、社会责任、社会效益等问...
面向21世纪的逻辑教材,本文主要内容关键词为:逻辑论文,教材论文,世纪论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。在我国大学开设的课程中,逻辑学是一门旨在...
对谓词逻辑在人工智能科学中应用的分析,本文主要内容关键词为:谓词论文,人工智能论文,逻辑论文,科学论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。谓词逻辑是一...
动态语义学的发展和创新思维,本文主要内容关键词为:语义学论文,创新思维论文,动态论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。动态语义学是近年来影响较大的逻...
巴坎公式和自由逻辑,本文主要内容关键词为:公式论文,逻辑论文,自由论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。中图分类号:B815文献标识码:A文章编号:...
基于语词的逻辑—哲学研究反思,本文主要内容关键词为:语词论文,逻辑论文,哲学论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。中图分类号:B812.23文献标识...
从知识表示的角度看DRT与一阶谓词逻辑,本文主要内容关键词为:谓词论文,角度看论文,逻辑论文,知识论文,DRT论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。...
论新词项逻辑及其教学,本文主要内容关键词为:新词论文,逻辑论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。中图分类号:D81文献标识码:A文章编号:16739...
论模态谓词逻辑的“非指称”问题——基于自由逻辑的考察,本文主要内容关键词为:谓词论文,逻辑论文,自由论文,模态论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。...
广义量词理论述评,本文主要内容关键词为:量词论文,述评论文,广义论文,理论论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。通常,现代逻辑只研究和运用两类量词:...
非精确谓词逻辑推理潘文全摘要:非精确概率逻辑是经典命题逻辑的扩张,因为它的元性质都是由命题逻辑的元性质推广而来的。自然扩张推广了命题逻辑的演绎过程;融贯性推广了命题逻辑的演绎封...
“蕴涵怪论反例”的拨乱反正——兼评张建军先生的“‘反例’化解路径”,本文主要内容关键词为:怪论论文,拨乱反正论文,反例论文,蕴涵论文,路径论文,此文献不代表本站观点,内容供学术...
再论从形式蕴涵看“实质蕴涵怪论”——兼复程仲棠先生,本文主要内容关键词为:蕴涵论文,怪论论文,实质论文,形式论文,兼复程仲棠论文,此文献不代表本站观点,内容供学术参考,文章仅供...