| BL*系统的一种扩张及相关性质 |
| |
| 引用本文： | 张琼,吴洪博. BL*系统的一种扩张及相关性质[J]. 计算机工程与应用, 2010, 46(19): 36-38. DOI: 10.3778/j.issn.1002-8331.2010.19.010 |
| |
| 作者姓名： | 张琼 吴洪博 |
| |
| 作者单位： | 陕西师范大学,数学与信息科学学院,西安,710062 |
| |
| 摘 要： | 对BR0代数，Boole 代数以及BL*系统，命题演算形式系统L进行了研究。首先讨论了BR0代数与Boole 代数间的相互关系，随后在BL*系统中分别添加公理模式(A →B) →¬A ∨ B或(A →(B → C)) →(A ∧ B → C)得到BL*系统的两种扩张，并证明了BL*系统的这两种扩张与命题演算形式系统L之间是等价的。
|
| 关 键 词： | 模糊逻辑 命题演算 BR0代数 Boole 代数 BL*系统；形式系统L |
| 收稿时间： | 2008-12-23 |
| 修稿时间： | 2009-2-27 |
Extension of Basis system L* and its relative properties |
| |
| ZHANG Qiong,WU Hong-bo. Extension of Basis system L* and its relative properties[J]. Computer Engineering and Applications, 2010, 46(19): 36-38. DOI: 10.3778/j.issn.1002-8331.2010.19.010 |
| |
| Authors: | ZHANG Qiong WU Hong-bo |
| |
| Affiliation: | College of Mathematics and Information Sciences,Shaanxi Normal University,Xi＇an 710062,China |
| |
| Abstract: | Based on the BR0 algebra,Boolean algebra,Basic system L and propositional calculus system L,the relations between BR0 algebra and Boolean algebra have been discussed.Particularly,two extension of BL are obtained by adding axioms：（A→B）A∨B,（A→（B→C））→（A∧B→C） to basic system L.Then the equivalence between them and system L is proved. |
| |
| Keywords: | fuzzy logic propositional calculus BR0 algebra Boolean algebra Basis system L* Propositional calculus system L |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载免费的PDF全文 |
