期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
次BL代数的推理系统 被引量:12
1
作者 傅丽 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2002年第1期17-21,共5页
基于EskoTurnner对BL代数的系统研究 ,引入了次BL代数的概念 ,并给出了次BL代数的实例 ,在次BL代数中建立了一种广泛的推理系统 .研究表明 ,R0 代数、Lukasiewicz结构、G
关键词 次BL代数 推理系统 剩余格 Ro代数 Lukasiewicz结构 goedel结构 基本逻辑代数
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部