次BL代数的修正及其应用

次BL代数是多个重要逻辑代数的理论基础,文章对次BL代数作了进一步的深入研究,得到了一些很好的结论,其主要结果有:1)简化了次BL代数的定义;2)给出了次BL代数的另外两种等价形式,进一步揭示了次BL代数与其他逻辑代数之间的关系;3)证明了一种强次BL代数与BR0代数之间的等价关系,并以次BL代数为基础给出了BR0代数和R0代数的简化定义,改进了已有的结果.

次BL代数的推理系统

基于EskoTurnner对BL代数的系统研究 ,引入了次BL代数的概念 ,并给出了次BL代数的实例 ,在次BL代数中建立了一种广泛的推理系统 .研究表明 ,R0 代数、Lukasiewicz结构、G

正交模格上的次BL代数性质

在《正交模格FMO2(n)上的代数结构》的基础上,讨论了一般正交模格上的次BL代数性质,得到了比《正交模格FMO2(n)上的代数结构》更为广泛的结果。

正交模格F_(mo2)(n)上的代数结构

文章讨论由n个元素生成的自由正交模格Fmo2(n)上的代数结构,得到一些较好的结果。