文件名称:次BL代数的推理系统 (2002年)
文件大小:305KB
文件格式:PDF
更新时间:2024-06-06 15:16:40
自然科学 论文
基于EskoTurnner对BL代数的系统研究,引入了次BL代数的概念,并给出了次BL代数的实例,在次BL代数中建立了一种广泛的推理系统.研究表明,R0 代数、Lukasiewicz结构、G del结构等均可纳入次BL代数理论之中
文件名称:次BL代数的推理系统 (2002年)
文件大小:305KB
文件格式:PDF
更新时间:2024-06-06 15:16:40
自然科学 论文
基于EskoTurnner对BL代数的系统研究,引入了次BL代数的概念,并给出了次BL代数的实例,在次BL代数中建立了一种广泛的推理系统.研究表明,R0 代数、Lukasiewicz结构、G del结构等均可纳入次BL代数理论之中