摘要
通过对正则剩余格和WBR0-代数的深入研究,进一步明确了WBR0-代数与其他逻辑代数之间的关系。主要结果有:(1)证明了正则剩余格与WBR0-代数是相同的代数结构;(2)通过联络图表列举了WBR0-代数与其他经典逻辑代数之间的联系,体现了WBR0-代数在逻辑代数中的地位与作用;(3)通过构造WBR0-代数的实例说明WBR0-代数与其他逻辑代数之间的区别。
Regular residuated lattices and WBR0-algebras are investigated in depth.The relationship between WBR0-algebras and other logic algebras is made clearer and more definite than before.The main results of this paper are as follows:(1) It is proved that regular residuated lattices and WBR0-algebras are the same algebraic structure.(2) The connection among WBR0-algebras with other classical logic algebras is given by the network,through which the roles of WBR0-algebras are explained.(3) The difference between WBR0-algebras and other logic algebras is revealed by constructing a special WBR0-algebra.
出处
《山东大学学报(理学版)》
CAS
CSCD
北大核心
2012年第2期86-92,共7页
Journal of Shandong University(Natural Science)
基金
国家自然科学基金资助项目(11171196)