| 次BL代数的推理系统 |
| |
| 引用本文： | 傅丽.次BL代数的推理系统[J].陕西师范大学学报,2002,30(1):17-21. |
| |
| 作者姓名： | 傅丽 |
| |
| 作者单位： | 陕西师范大学数学与信息科学学院 陕西西安710062 |
| |
| 摘 要： | 基于Esko Turnner对BL代数的系统研究，引入了次BL代数的概念，并给出了次BL代数的实例，在次BL代数中建立了一种广泛的推理系统，研究表明，R0代数、Lukasiewicz结构、Goedel结构等均可纳入次BL代数理论之中。
|
| 关 键 词： | 次BL代数 推理系统 剩余格 Ro代数 Lukasiewicz结构 Goedel结构 基本逻辑代数 |
| 文章编号： | 1001-3857(2002)01-0017-05 |
| 修稿时间： | 2001年3月15日 |
Theory of deductive system in sub-BL algebras |
| |
| FU Li.Theory of deductive system in sub-BL algebras[J].Journal of Shaanxi Normal University: Nat Sci Ed,2002,30(1):17-21. |
| |
| Authors: | FU Li |
| |
| Abstract: | Based on previous results of BL algebras, the concept of sub-BL algebra is introduced, and some examples of sub-BL Algebras are given. In addition, in sub-BL algebras, a kind of general theory of the deductive system is established. Several important algebraic structures, such as, R 0 algebras, Lukasiewicz structure, G*idel structure, and so on, can be put into the framework of sub-BL algebras. |
| |
| Keywords: | sub_BL algebra deductive system residuated lattice |
| 本文献已被 CNKI 维普 等数据库收录！ |
