来源:《吉林大学学报(理学版)》2011年第01期  作者:高李红;吴洪博;
选择字号

QBL-代数及其与BL-代数的等价性

收藏本文  分享

根据命题逻辑系统BL与基础逻辑代数BL在语义方面相匹配的特征,将基础逻辑系统BL中的部分公理代数化,建立一种新的代数结构QBL-代数,并证明了QBL-代数与BL-代数的等价性,以两种二元运算,→为基础在一般集合上给出了基础逻辑代数BL的表示定理.(本文共计6页)......[继续阅读本文]

下载阅读本文订阅本刊

图书推荐

    相关文章推荐

    看看这些杂志对你有没有帮助...

    更多杂志>>