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

Extension of Basis system L~＊ and its relative properties

作　　者：张琼[1] 吴洪博[1] 

机构地区：[1]陕西师范大学数学与信息科学学院,西安710062

出　　处：《计算机工程与应用》2010年第19期36-38,共3页Computer Engineering and Applications

基　　金：国家自然科学基金(No.10871121)~~

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

关 键 词：模糊逻辑 命题演算 BR0代数 BOOLE代数 BL＊系统 形式系统L 

分 类 号：O141.1[理学—数学]