摘要

主要介绍九种可换逻辑的语义系统,它们是布尔代数, MV-代数, BL-代数, MTL-代数,剩余格, Hoops,半Hoops, EQ-代数和相等代数,并给出相应的例子.进而结合作者的工作介绍了这些代数系统在概率、格序群和拓扑中的研究进展,同时给出如下看法:布尔代数是经典逻辑;从代数角度讨论了经典逻辑与模糊逻辑的区别.最后给出值得进一步研究的公开问题.