次BL代数的推理系统 (2002年)

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