典型文献
可换逻辑的代数语义综述
文献摘要：
主要介绍九种可换逻辑的语义系统,它们是布尔代数,MV-代数,BL-代数,MTL-代数,剩余格,Hoops,半Hoops,EQ-代数和相等代数,并给出相应的例子.进而结合作者的工作介绍了这些代数系统在概率、格序群和拓扑中的研究进展,同时给出如下看法:布尔代数是经典逻辑;从代数角度讨论了经典逻辑与模糊逻辑的区别.最后给出值得进一步研究的公开问题.
文献关键词：
逻辑;语义系统;剩余结构;拓扑;格序群
中图分类号：
作者姓名：
杨小飞;辛小龙
作者机构：
西安外事学院商学院,陕西 西安 710077;西北大学数学学院,陕西 西安 710127
文献出处：
引用格式：
[1]杨小飞;辛小龙-.可换逻辑的代数语义综述)[J].纯粹数学与应用数学,2022(01):59-71
A类：
Hoops,格序群
B类：
数语,九种,语义系统,布尔代数,MV,BL,MTL,EQ,代数和,相等,例子,合作者,代数系统,经典逻辑,模糊逻辑,剩余结构
AB值：
0.399195
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
