可换逻辑的代数语义综述
A survey of algebraic semantic systems作者机构:西安外事学院商学院陕西西安710077 西北大学数学学院陕西西安710127
出 版 物:《纯粹数学与应用数学》 (Pure and Applied Mathematics)
年 卷 期:2022年第38卷第1期
页 面:59-71页
学科分类:07[理学] 070104[理学-应用数学] 0701[理学-数学]
摘 要:主要介绍九种可换逻辑的语义系统,它们是布尔代数,MV-代数,BL-代数,MTL-代数,剩余格,Hoops,半Hoops,EQ-代数和相等代数,并给出相应的例子.进而结合作者的工作介绍了这些代数系统在概率、格序群和拓扑中的研究进展,同时给出如下看法:布尔代数是经典逻辑;从代数角度讨论了经典逻辑与模糊逻辑的区别.最后给出值得进一步研究的公开问题.