聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 参态逻辑
出处:中国科学:A辑 1995年第4期414-425,共12页
摘要:提出参态逻辑,给出它的语言、语义和公理系统,并给出参态逻辑的完全性定理,论证了参态逻辑具有足够丰富... 显示全部
关键词: 参态逻辑 广义 模态逻辑 一阶逻辑
找到1条结果
`