聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 开放类3-值逻辑的元性质
出处:中山大学学报:社会科学版 2006年第2期 76-78,共3页
摘要:经典逻辑是建立在封闭世界预设的基础上的,但逻辑系统也可以建立在开放世界预设的基础上。鞠实儿教授在研... 显示全部
关键词: 公理系统 弱完全性 强完全性 一致性
在线阅读 下载全文
找到1条结果
`