聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 从动态命题逻辑PDL到动态道义逻辑DDL
出处:哲学动态 2006年第2期55-58,共4页
摘要:一 动态命题逻辑的来源和基本构想 动态逻辑DL(Dynamic Logic)是关于行动和程序推理的形式系统。DL可... 显示全部
关键词: 命题逻辑 道义逻辑 一阶谓词逻辑 经典逻辑 动态逻辑 语形结构 基本构想 形式系统 模态逻辑 真值
在线阅读 下载全文
期刊文章 一个多值逻辑的一阶谓词系统
出处:逻辑学研究 2009年第1期 78-89,共12页
摘要:鞠实儿曾提出一个开放类三值命题逻辑系统,这一逻辑也可以推广到任意m值逻辑情形,成为一个联结词函数完全... 显示全部
关键词: 命题逻辑 一阶谓词逻辑 可靠性 完全性
在线阅读 下载全文
找到2条结果
`