未找到相关数据
格蕴涵代数
被引：312
作者：
徐扬
机构：
[1] 西安交通大学应用数学系
来源：
关键词：
格;
蕴涵代数;
逻辑;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
本文将格与蕴涵代数结合在一起,建立了格蕴涵代数,并讨论了它的一些基本性质,为从语义的角度研究格值逻辑系统奠定了必要的基础。
引用
收藏
页码：20 / 27
页数：8
相关论文