聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 百年“怪论”的有效消解
出处:河南大学学报:社会科学版 2005年第3期 4-8,共5页
摘要:现代逻辑的实质蕴涵"怪论"问题是困扰逻辑学发展的一个难题.对此问题存在两种态度:一种是持批判的态度,认为... 显示全部
关键词: 命题逻辑 实质蕴涵 怪论 布尔代数 重言式 赋值
期刊文章 可补半环
出处:江西科学 2005年第3期 207-209,共3页
摘要:定义并研究了可补半环,得到了一些性质.最后指出可补半环一定包含一个子半环为布尔代数. 显示全部
关键词: 可补半环 偶元素 布尔代数
期刊文章 可补半环上的内射半模与投射半模
出处:江西师范大学学报:自然科学版 2006年第5期 466-469,共4页
摘要:研究可补半环上的内射半模与投射半模性质.得到:若S为可补半环,则任意左S-半模必存在内射包;左S-内射半... 显示全部
关键词: 可补半环 布尔代数 内射半模 投射半模 半环
在线阅读 下载全文
期刊文章 一阶逻辑中的重写证明算法
出处:计算机学报 1988年第2期
摘要:本文在布尔代数标准重写系统的基础上,提出了一种把一阶逻辑公式转换成布尔环中等式的方法,并由此建立了一... 显示全部
关键词: 布尔环 一阶逻辑 证明算法 因子分解 布尔代数 重写系统 最简式 证明过程 定理证明 语义树
期刊文章 一个重写证明算法
出处:计算机学报 1987年第7期
摘要:本文在AC合一和布尔代数标准重写系统的基础上,提出了一组转换规则和一个定理证明算法,这种证明算法使用了... 显示全部
关键词: 证明算法 重写系统 转换规则 布尔环 布尔表达式 重写规则 布尔代数 定理证明 分解式 交换环
期刊文章 关于模态命题系统的一种布尔值模型
出处:南京大学学报:数学半年刊 2001年第1期 109-113,共5页
摘要:本文首先定义了模态命题公式□a的布尔值,然后证明:模态命题逻辑的正规系统K、D和T以及严格蕴涵系统S1和S2... 显示全部
关键词: 布尔值 布尔值模型 模态公理 正规系统 模态命题系统 布尔代数 严格蕴涵系统
在线阅读 下载全文
期刊文章 广义循环布尔矩阵半群的极大子群
出处:科学通报 1988年第16期
摘要:<正> 本文所讨论的矩阵都是元素在布尔代数B={0,1}上的n×n矩阵。设r是一个非负整数。r-循环(广义循环)布... 显示全部
关键词: 布尔矩阵 极大子群 半群 非负整数 布尔代数 幂等 正整数 布尔运算 中含
找到7条结果
`