BL*系统的一种扩张及相关性质

doi:10.3778/j.issn.1002-8331.2010.19.010

计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (19): 36-38.DOI: 10.3778/j.issn.1002-8331.2010.19.010

BL*系统的一种扩张及相关性质

张琼，吴洪博

陕西师范大学数学与信息科学学院，西安710062

收稿日期:2008-12-23 修回日期:2009-02-27 出版日期:2010-07-01 发布日期:2010-07-01
通讯作者: 张琼

Extension of Basis system L* and its relative properties

ZHANG Qiong，WU Hong-bo

College of Mathematics and Information Sciences，Shaanxi Normal University，Xi’an 710062，China

Received:2008-12-23 Revised:2009-02-27 Online:2010-07-01 Published:2010-07-01
Contact: ZHANG Qiong

摘要/Abstract

摘要： 对BR₀代数，Boole 代数以及BL*系统，命题演算形式系统L进行了研究。首先讨论了BR₀代数与Boole 代数间的相互关系，随后在BL*系统中分别添加公理模式(A →B) →¬A ∨ B或(A →(B → C)) →(A ∧ B → C)得到BL*系统的两种扩张，并证明了BL*系统的这两种扩张与命题演算形式系统L之间是等价的。

中图分类号:

O141.1

张琼，吴洪博. BL*系统的一种扩张及相关性质[J]. 计算机工程与应用, 2010, 46(19): 36-38.

ZHANG Qiong，WU Hong-bo. Extension of Basis system L* and its relative properties[J]. Computer Engineering and Applications, 2010, 46(19): 36-38.

[1]	韩诚. Vague集的相似度理论[J]. 计算机工程与应用, 2010, 46(36): 56-60.
[2]	许格妮. 系统L在非均匀概率空间下命题的真度理论[J]. 计算机工程与应用, 2010, 46(36): 53-55.
[3]	秦学成，刘春辉. Fuzzy蕴涵代数的区间值fuzzy滤子[J]. 计算机工程与应用, 2010, 46(31): 39-42.
[4]	于西昌¹，陈怀进²，谭桂梅³. 公式概率真度的相似度及伪距离[J]. 计算机工程与应用, 2010, 46(27): 57-61.
[5]	高香妮，折延宏，王国俊. 逻辑系统G_n中理论的真度概念及其应用[J]. 计算机工程与应用, 2010, 46(24): 30-33.
[6]	于鸿丽¹，吴洪博². 逻辑系统H_α中广义语义MP规则证明的改进[J]. 计算机工程与应用, 2010, 46(22): 52-53.
[7]	谭桂梅¹，于西昌². Gödel命题逻辑中公式概率真度的相似度及伪距离[J]. 计算机工程与应用, 2010, 46(20): 46-49.
[8]	牛广化¹，于西昌². 命题逻辑中条件概率真度的相似度及伪距离[J]. 计算机工程与应用, 2010, 46(17): 33-38.
[9]	谭桂梅¹，于西昌². 连续值命题逻辑中公式的条件相对重言度理论[J]. 计算机工程与应用, 2010, 46(16): 55-59.
[10]	屠桂晶，张兴芳，李成允，李友雨. 三值乘积逻辑系统Π₃中的随机化研究[J]. 计算机工程与应用, 2010, 46(14): 34-38.
[11]	于西昌¹，谭桂梅² . 二值命题逻辑中的概率真度[J]. 计算机工程与应用, 2010, 46(11): 46-48.
[12]	李顺琴¹，王国俊². 系统H_α中的子代数的广义重言式理论[J]. 计算机工程与应用, 2010, 46(8): 37-39.
[13]	关晓红，刘晓. £ukasiewicz三值命题逻辑系统中公式的概率真度理论[J]. 计算机工程与应用, 2010, 46(6): 37-41.
[14]	于西昌¹，谭桂梅²，张兴芳³. 命题逻辑系统中公式的概率真度理论[J]. 计算机工程与应用, 2010, 46(5): 40-43.
[15]	肖云萍，邹庭荣. Z-蕴涵代数的Fuzzy Z-滤子[J]. 计算机工程与应用, 2010, 46(2): 39-40.

BL*系统的一种扩张及相关性质

Extension of Basis system L* and its relative properties

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics