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

摘要：

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

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

所属期刊栏目：46

分类号：O141.1(数理逻辑、数学基础)

资助基金：国家自然科学基金the National Natural Science Foundation of China under Grant 10871121

在线出版日期：2010-09-06（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：36-38