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

doi:10.3778/j.issn.1002-8331.2009.07.014

计算机工程与应用 ›› 2009, Vol. 45 ›› Issue (7): 44-45.DOI: 10.3778/j.issn.1002-8331.2009.07.014

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

李立峰,张建科,冯锋

西安邮电学院应用数理系，西安 710121

收稿日期:2008-09-03 修回日期:2008-12-08 出版日期:2009-03-01 发布日期:2009-03-01
通讯作者: 李立峰

Reduction theory of finite proposition set in £ukasiewicz propositional logic

LI Li-feng,ZHANG Jian-ke,FENG Feng

Department of Applied Mathematics and Physics，Xi’an Institute of Posts and Telecommunications，Xi’an 710121，China

Received:2008-09-03 Revised:2008-12-08 Online:2009-03-01 Published:2009-03-01
Contact: LI Li-feng

摘要/Abstract

摘要： 在n值£ukasiewicz命题逻辑中提出了命题集Г的约简理论，引入由命题集Г所诱导的形式背景的概念，从Г及其子集的关系出发给出了n值命题逻辑中有限命题集Г约简的判定定理以及求Г约简的方法。说明了无穷值£ukasiewicz命题逻辑中命题集Г的约简可转化为n值情形。

关键词: £, ukasiewicz命题逻辑, 完备性定理, Г约简, 形式背景

Abstract: The theory of Г-reduction in n-valued £ukasiewicz propositional logic is introduced，the formal context of the propositional set Г is introduced and investigated.Several ways to determine the Г-reduction are studied by investigating the relationship between Г and their subsets.The reduction of propositional set Г in £ukasiewicz infinite valued logic can be reduced to n-valued £ukasiewicz propositional logic.

Key words: £, ukasiewicz propositional logic, complete theorem, Г-reduction, formal context

李立峰,张建科,冯锋. £ukasiewicz命题逻辑系统中有限命题集的约简理论[J]. 计算机工程与应用, 2009, 45(7): 44-45.

LI Li-feng,ZHANG Jian-ke,FENG Feng. Reduction theory of finite proposition set in £ukasiewicz propositional logic[J]. Computer Engineering and Applications, 2009, 45(7): 44-45.

[1]	贺晓丽，刘华丽，刘瑶瑶. 多粒度数据的区间形式概念分析方法[J]. 计算机工程与应用, 2019, 55(19): 52-57.
[2]	赵兹. 属性合成区间值信息系统的0-1形式背景研究[J]. 计算机工程与应用, 2017, 53(10): 38-42.
[3]	温云霞1，王俊红1，2. 一种粒度概念格模型及其构造方法研究[J]. 计算机工程与应用, 2016, 52(4): 46-50.
[4]	李俊余1，2，王霞1，2. 对象定向概念格的决策约简[J]. 计算机工程与应用, 2016, 52(18): 154-157.
[5]	朱卫东1，2，孙宜博1，吴勇1，陈波1. 决策形式背景框架下证据推理模型研究[J]. 计算机工程与应用, 2014, 50(7): 20-24.
[6]	陈永平1，杨思春2. 面向对象概念格的压缩[J]. 计算机工程与应用, 2013, 49(19): 119-122.
[7]	刘冬. 区间值信息系统的概念格约简方法[J]. 计算机工程与应用, 2013, 49(17): 121-124.
[8]	陈锦坤，李进金. 概念格的公理化[J]. 计算机工程与应用, 2012, 48(5): 41-43.
[9]	王亚丽1，2，翟岩慧1，曲开社1. 不协调决策形式背景属性约简方法研究[J]. 计算机工程与应用, 2012, 48(5): 124-126.
[10]	苏亚娟1，张涛2. 一种由乘积蕴涵算子构造的模糊概念格[J]. 计算机工程与应用, 2012, 48(19): 42-45.
[11]	师智斌，王博. 形式背景约简在数据立方体中的应用研究[J]. 计算机工程与应用, 2012, 48(15): 24-28.
[12]	郭松涛1，李金海2，吕跃进3，吴炎4. 决策形式背景的启发式属性约简算法[J]. 计算机工程与应用, 2012, 48(10): 20-24.
[13]	吕跃进，刘洪梅. 改进的概念格属性约简算法[J]. 计算机工程与应用, 2011, 47(8): 146-148.
[14]	智慧来，智东杰. 纯化形式背景及其性质研究[J]. 计算机工程与应用, 2011, 47(35): 61-62.
[15]	马冯，曾志勇，余建坤. 分布式概念格的纵向合并方法研究[J]. 计算机工程与应用, 2011, 47(34): 68-71.

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

Reduction theory of finite proposition set in £ukasiewicz propositional logic

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics