以Ｒ０－Ｌｉｎｄｅｎｂａｕｍ代数为背景，提出了较蕴涵格稍强的Ｒ０代数概念，在讨论了其基本性质的基础上给出了Ｒ０代数的两个等价系统，并从商代数的角度研究了Ｒｏ代数的基......

基于Esko Turnner对BL代数的系统研究，引入了次BL代数的概念，并给出了次BL代数的实例，在次BL代数中建立了一种广泛的推理系统，研究表明......