摘要:
根据命题逻辑系统BL与基础逻辑代数BL在语义方面相匹配的特征, 将基础逻辑系统BL中的部分公理代数化, 建立一种新的代数结构QBL-代数, 并证明了QBL-代数与BL-代数的等价性, 以两种二元运算,→为基础在一般集合上给出了基础逻辑代数BL的表示定理.
中图分类号:
高李红, 吴洪博. QBL-代数及其与BL-代数的等价性[J]. J4, 2011, 49(01): 41-46.
GAO Li-Gong, TUN Hong-Bo. QuasiBLAlgebras and Their Equivalence with BLAlgebras[J]. J4, 2011, 49(01): 41-46.