聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 严格蕴涵系统S3的协调性
出处:南京大学学报:数学半年刊 2005年第1期 23-27,共5页
摘要:文献[2]没有解决严格蕴涵系统S3的协调性,本文证明严格蕴涵系统S3的协调性.为此,首先证明严格蕴涵系统P3的... 显示全部
关键词: 严格蕴涵系统 协调性 布尔值模型 等价性
期刊文章 模态系统S4.1的协调性
出处:苏州科技学院学报:自然科学版 2004年第2期 13-16,共4页
摘要:文献[7]证明了严格蕴涵系统S4的协调性,本文证明在严格蕴涵系统S4的基础上增加公理M所得到的系统S4.1的协调... 显示全部
关键词: 严格蕴涵系统 协调性 布尔值模型 等价性
期刊文章 关于模态命题系统的一种布尔值模型
出处:南京大学学报:数学半年刊 2001年第1期 109-113,共5页
摘要:本文首先定义了模态命题公式□a的布尔值,然后证明:模态命题逻辑的正规系统K、D和T以及严格蕴涵系统S1和S2... 显示全部
关键词: 布尔值 布尔值模型 模态公理 正规系统 模态命题系统 布尔代数 严格蕴涵系统
在线阅读 下载全文
期刊文章 谈谈模态逻辑
出处:现代哲学 1986年第1期51-55,共5页
摘要:模态逻辑(modal logic)的出现,可追溯至亚里士多德提出的模态命题和模态三段论。但是,对亚氏模态逻辑的著述... 显示全部
关键词: 模态逻辑系统 数理逻辑 亚里士多德 模态命题 模态三段论 真值蕴涵 严格蕴涵系统 模态词 可能世界 模态系统
在线阅读 下载全文
找到4条结果
`