聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 参态逻辑
出处:中国科学:A辑 1995年第4期414-425,共12页
摘要:提出参态逻辑,给出它的语言、语义和公理系统,并给出参态逻辑的完全性定理,论证了参态逻辑具有足够丰富... 显示全部
关键词: 参态逻辑 广义 模态逻辑 一阶逻辑
期刊文章 论模态谓词逻辑的“非指称”问题
出处:哲学研究 2011年第1期101-106,共6页
摘要:一般地说,一阶模态逻辑就是指经典一阶逻辑和基本模态命题逻辑组合而成的模态谓词逻辑。自由模态逻辑则是... 显示全部
关键词: 模态逻辑 谓词逻辑 自由 指称 命题逻辑 一阶逻辑 逻辑学家
期刊文章 一阶逻辑的内涵语义
出处:湖南科技大学学报:社会科学版 2006年第6期 27-31,共5页
摘要:熟知的一阶逻辑语义因为只论及个体对象而不涉及属性实体而被认为是外延的。相对于这一外延语义,一阶逻辑... 显示全部
关键词: 一阶逻辑 外延语义 内涵语义
在线阅读 下载全文
期刊文章 关于非单调逻辑
出处:计算机科学 1988年第4期
摘要:<正> 一、非单调推理的提出逻辑是研究思维与论证的科学。它的目的是研究人们在推理过程中的思维规律。并利... 显示全部
关键词: 非单调逻辑 自动推理 非单调推理 推理方法 一阶逻辑 谓词变量 推理过程 知识表示 人工智能技术 推理规则
期刊文章 一阶逻辑中的重写证明算法
出处:计算机学报 1988年第2期
摘要:本文在布尔代数标准重写系统的基础上,提出了一种把一阶逻辑公式转换成布尔环中等式的方法,并由此建立了一... 显示全部
关键词: 布尔环 一阶逻辑 证明算法 因子分解 布尔代数 重写系统 最简式 证明过程 定理证明 语义树
期刊文章 防操纵社会选择机制逻辑研究述评
出处:重庆理工大学学报:社会科学 2013年第3期6-8,14共4页
摘要:合理的投票系统都是操纵的,决策形成过程中的防策略投票问题属于社会选择应用领域的前沿问题。分别从模态逻... 显示全部
关键词: 防策略 社会选择 模态逻辑 一阶逻辑 命题逻辑
在线阅读 下载全文
期刊文章 论模态谓词逻辑的“非指称”问题
出处:哲学研究 2011年第1期101-106,共6页
摘要:一般地说,一阶模态逻辑就是指经典一阶逻辑和基本模态命题逻辑组合而成的模态谓词逻辑。自由模态逻辑则是... 显示全部
关键词: 模态逻辑 谓词逻辑 自由 指称 命题逻辑 一阶逻辑 逻辑学家
找到7条结果
`