首页> 中文会议>第六届中国不确定系统年会 >二值命题逻辑中的极大命题集与完备命题集

二值命题逻辑中的极大命题集与完备命题集

页面导航

摘要
著录项
相似文献
相关主题

摘要

本文系统的讨论了二值命题逻辑系统中极大命题集与完备命题集,给出了两种命题集的等价描述和表示定理,揭示了极大命题集和完备命题集的深刻内涵和联系.

著录项

来源
《第六届中国不确定系统年会》|2008年|97-99|共3页
会议地点洛阳
作者

展开▼
作者单位

中国运筹学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类命题演算、谓词演算、类演算;矩阵论;
关键词
二值命题逻辑系统; 极大命题集; 完备命题集; 数学模型;

相似文献

中文文献
外文文献
专利

1. 二值命题逻辑中的极大命题集与完备命题集 [J] . 任燕 ,王洪涛 . 模糊系统与数学 . 2009,第3期
2. 命题逻辑中极大和谐理论之集上的拓扑与Cantor三分集 [J] . 王国俊 ,王伟 ,宋建社 . 陕西师范大学学报（自然科学版） . 2007,第002期
3. n值命题逻辑系统Ln*中有限命题集的相容性与约简 [J] . 李立峰 . 计算机工程与应用 . 2009,第013期
4. (L)ukasiewicz命题逻辑系统中有限命题集的约简理论 [J] . 李立峰 ,张建科 ,冯锋 . 计算机工程与应用 . 2009,第007期
5. 内涵亏值及二值命题逻辑中命题集合约简 [J] . 马垣 . 模式识别与人工智能 . 2013,第010期
6. 二值命题逻辑的无损求解研究 [C] . 唐益明 ,刘晓平 . 第8届全国计算机支持的协同工作学术会议（CCSCW-2012）暨全国第23届计算机技术与应用学术会议（CACIS-2012） . 2012
7. 命题逻辑和一阶逻辑子句集的冗余性研究 [A] . 宁欣然 . 2019

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号