聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 关于模态命题公式的一种布尔值
出处:中山大学学报:社会科学版 2003年第S1期,共4页
摘要:文章定义了模态公式□_α的布尔值,证明了模态命题逻辑的正规系统K、D和T的所有公理的布尔值为1。 显示全部
关键词: 布尔值 模态命题逻辑 正规系统
期刊文章 公理系统的布尔值模型
出处:河南大学学报:自然科学版 1998年第2期 37-42,共6页
摘要:本文建立了一个无穷的公理系统序列 显示全部
关键词: 公理系统 布尔值 布尔值模型
在线阅读 下载全文
期刊文章 关于模态命题系统的一种布尔值模型
出处:南京大学学报:数学半年刊 2001年第1期 109-113,共5页
摘要:本文首先定义了模态命题公式□a的布尔值,然后证明:模态命题逻辑的正规系统K、D和T以及严格蕴涵系统S1和S2... 显示全部
关键词: 布尔值 布尔值模型 模态公理 正规系统 模态命题系统 布尔代数 严格蕴涵系统
在线阅读 下载全文
期刊文章 关于模态命题公式4、E和B的布尔值
出处:河南大学学报:自然科学版 2003年第4期 25-28,共4页
摘要:模态公式4、E和B是直观上难以确认是否成立的一类模态公式.文献[6]证明了:在模型(VB,R,ⅡⅡ)下,当R是VB上的... 显示全部
关键词: 布尔值 布尔值模型 模态系统 自返性
在线阅读 下载全文
找到4条结果
`