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

• 研究、探讨 • 上一篇    下一篇

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

张琼,吴洪博   

  1. 陕西师范大学数学与信息科学学院,西安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   

  1. 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

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

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.

中图分类号: