聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 一个与卢卡西维兹不同的亚里士多德三段论形式系统
出处:哲学研究 1988年第4期33-41,共9页
摘要: <正> 30多年前,波兰数学家、逻辑学家卢卡西维兹首次用现代逻辑的方法对亚氏三段论进行形式化的研究... 显示全部
关键词: 三段论公理 亚里士多德三段论 命题逻辑 形式系统 现代逻辑 谓词逻辑 命题变元 有效式 逻辑理论 公理系统
期刊文章 从动态命题逻辑PDL到动态道义逻辑DDL
出处:哲学动态 2006年第2期55-58,共4页
摘要:一 动态命题逻辑的来源和基本构想 动态逻辑DL(Dynamic Logic)是关于行动和程序推理的形式系统。DL可... 显示全部
关键词: 命题逻辑 道义逻辑 一阶谓词逻辑 经典逻辑 动态逻辑 语形结构 基本构想 形式系统 模态逻辑 真值
在线阅读 下载全文
期刊文章 智能规划的逻辑编码求解性能分析
出处:华中科技大学学报:自然科学版 2012年第S1期351-354,358共5页
摘要: 将SAT问题的编码和求解过程联合起来进行研究,提出了逻辑编码求解性能分析模型,利用该模型对国际标准规划... 显示全部
关键词: 智能规划 命题逻辑 规划系统 编码方式 编码求解器
在线阅读 下载全文
期刊文章 纤维逻辑
出处:计算机科学 2006年第1期 1-3,共3页
摘要:形式逻辑已经从简单命题逻辑发展到比较复杂的模态逻辑系列。但是在主体环境下,已有逻辑的复杂性仍然不能... 显示全部
关键词: 形式逻辑 逻辑 多模态逻辑 纤维逻辑 模态逻辑 纤维 可能世界语义 命题逻辑 人工智能 复杂性
在线阅读 下载全文
期刊文章 知识库维护的结构操作语义方法
出处:软件学报 2000年第6期 758-766,共9页
摘要:关于在知识表示和处理方面起着重要作用的断言集合形式的抽象知识库,该文给出了一个维护和更新的形式转换... 显示全部
关键词: 知识库 逻辑系统 命题逻辑 重构 信念修正
期刊文章 百年“怪论”的有效消解
出处:河南大学学报:社会科学版 2005年第3期 4-8,共5页
摘要:现代逻辑的实质蕴涵"怪论"问题是困扰逻辑学发展的一个难题.对此问题存在两种态度:一种是持批判的态度,认为... 显示全部
关键词: 命题逻辑 实质蕴涵 怪论 布尔代数 重言式 赋值
期刊文章 《逻辑,语言和意义》述评
出处:当代语言学 1995年第2期23-29,共7页
摘要: <正> 本书原名为Logic,Language,and Meaning。本书的作者署名L.T.F.Gamut是虚设的笔名。它代表一个... 显示全部
关键词: 自然语言 蒙太古语法 命题逻辑 内涵逻辑 类型论 现代逻辑 逻辑语法 谓词逻辑 语言学 真值条件
期刊文章 论模态谓词逻辑的“非指称”问题
出处:哲学研究 2011年第1期101-106,共6页
摘要:一般地说,一阶模态逻辑就是指经典一阶逻辑和基本模态命题逻辑组合而成的模态谓词逻辑。自由模态逻辑则是... 显示全部
关键词: 模态逻辑 谓词逻辑 自由 指称 命题逻辑 一阶逻辑 逻辑学家
期刊文章 词项逻辑与亚里士多德三段论——兼复王路同志
出处:哲学研究 1989年第10期66-74,共9页
摘要: <正> 我的文章《一个与卢卡西维兹不同的亚里士多德三段论形式系统》在《哲学研究》1988年第4期发表... 显示全部
关键词: 亚里士多德三段论 词项逻辑 命题逻辑 亚里士多德逻辑 谓词逻辑 推理方法 否定命题 自然推理系统 肯定命题 合式公式
期刊文章 斯多葛学派的命题逻辑系统及其不完全性
出处:华南师范大学学报(社会科学版) 2001年第1期
摘要:斯多葛学派是古希腊在逻辑上可以跟亚里士多德逻辑相媲美的学派。他们所建立的命题逻辑系统是运用自然推理... 显示全部
关键词: 命题逻辑 自然推理 不完全性
找到15条结果
`