聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 Λ ̄B中的混合与混合原理
出处:河南大学学报:自然科学版 1995年第3期 23-25,共3页
摘要:文献^[1]中给出了聚合公理系统COG的布尔值模型A^B本文在^[1]的基础上讨论了A^B中的混合... 显示全部
关键词: 布尔值模型 聚合公理系统 混合原理
期刊文章 严格蕴涵系统S3的协调性
出处:南京大学学报:数学半年刊 2005年第1期 23-27,共5页
摘要:文献[2]没有解决严格蕴涵系统S3的协调性,本文证明严格蕴涵系统S3的协调性.为此,首先证明严格蕴涵系统P3的... 显示全部
关键词: 严格蕴涵系统 协调性 布尔值模型 等价性
期刊文章 公理系统的布尔值模型
出处:河南大学学报:自然科学版 1998年第2期 37-42,共6页
摘要:本文建立了一个无穷的公理系统序列 显示全部
关键词: 公理系统 布尔值 布尔值模型
在线阅读 下载全文
期刊文章 模态系统S4.1的协调性
出处:苏州科技学院学报:自然科学版 2004年第2期 13-16,共4页
摘要:文献[7]证明了严格蕴涵系统S4的协调性,本文证明在严格蕴涵系统S4的基础上增加公理M所得到的系统S4.1的协调... 显示全部
关键词: 严格蕴涵系统 协调性 布尔值模型 等价性
期刊文章 关于模态命题系统的一种布尔值模型
出处:南京大学学报:数学半年刊 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上的... 显示全部
关键词: 布尔值 布尔值模型 模态系统 自返性
在线阅读 下载全文
找到6条结果
`