摘要
本文将格与蕴涵代数结合在一起,建立了格蕴涵代数,并讨论了它的一些基本性质,为从语义的角度研究格值逻辑系统奠定了必要的基础。
In this paper, a kind of lattice implication algebra is introduced by combining lattice with implication algebra, and some of its basic properties are discussed, providing a necessary basis for studying lattice-valued logical systems in semantics.
出处
《西南交通大学学报》
EI
CSCD
北大核心
1993年第1期20-27,共8页
Journal of Southwest Jiaotong University
基金
国家自然科学基金