首页> 中文期刊> 《计算机工程与应用》 >(L)ukasiewicz命题逻辑系统中有限命题集的约简理论

(L)ukasiewicz命题逻辑系统中有限命题集的约简理论

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

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

摘要

在n值(L)ukasiewicz命题逻辑中提出了命题集T的约简理论,引入由命题集F所诱导的形式背景的概念,从T及其子集的关系出发给出了n值命题逻辑中有限命题集T约简的判定定理以及求T约简的方法.说明了无穷值(L)ukesiewicz命题逻辑中命题集T的约简可转化为n值情形.

著录项

来源
《计算机工程与应用》 |2009年第7期|44-4551|共3页
作者
李立峰; 张建科; 冯锋;
展开▼
作者单位

西安邮电学院应用数理系;

西安;

710121;

西安邮电学院应用数理系;

西安;

710121;

西安邮电学院应用数理系;

西安;

710121;

展开▼
原文格式 PDF
正文语种 chi
中图分类应用数理逻辑;
关键词
(L)ukasiewicz命题逻辑; 完备性定理; T约简; 形式背景;

相似文献

中文文献
外文文献
专利

1. n值命题逻辑系统Ln*中有限命题集的相容性与约简 [J] . 李立峰 . 计算机工程与应用 . 2009,第013期
2. (L)ukasiewicz三值命题逻辑系统中公式的概率真度理论 [J] . 关晓红 ,刘晓 . 计算机工程与应用 . 2010,第006期
3. (L)ukasiewicz命题逻辑系统中的赋值决定公式问题 [J] . 王国俊 ,李立峰 . 陕西师范大学学报（自然科学版） . 2006,第003期
4. Łukasiewicz 命题逻辑中命题的 Choquet 积分真度理论 [J] . 周红军 ,折延宏 . 电子学报 . 2013,第012期
5. (L)ukasiewicz命题逻辑中命题的Borel概率真度理论和极限定理 [J] . 周红军 . 软件学报 . 2012,第009期
6. 二值命题逻辑中的极大命题集与完备命题集 [C] . . 第六届中国不确定系统年会 . 2008
7. 非线性序集逻辑系统中命题的真度理论及近似推理理论 [A] . 隋云云 . 2009

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号