期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
二值命题逻辑中的极大命题集与完备命题集
1
作者 任燕 王洪涛 《模糊系统与数学》 CSCD 北大核心 2009年第3期112-114,共3页
系统讨论了二值命题逻辑系统中极大命题集与完备命题集,给出了两种命题集的等价描述和表示定理,揭示了极大命题集和完备命题集的深刻内涵和联系。
关键词 二值命题逻辑系统 极大命题集 完备命题集 模型
下载PDF
Γ-R_0代数及其滤子
2
作者 任燕 田辉 《海南师范大学学报（自然科学版）》 CAS 2008年第4期416-419,共4页
基于一般R0代数的定义,在e*命题集中定义了一种特殊的具体的R0代数—Γ-R0代数;基于对e*系统中的极大命题集和完备命题集,给出了Γ-R0代数代数的滤子的一般形式及其Γ-R0代数的特殊滤子与特殊命题集之间的关系.
关键词 e^＊命题逻辑系统 R0代数 Г-R0代数 滤子 极大命题集 完备命题集
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部