摘要
给出了格蕴涵代数、MV代数、R0代数等一些格上蕴涵代数之间的关系,并建立了它们的对偶代数.其结果描述了这些代数内部结构的特征,同时也为从语义的角度进一步研究格值逻辑系统提供了一个新的途径.
This paper gives out that the relationship among lattice implication algebras, MV algebras, R0 algebras and other implication algebras based on lattices, and their dual algebras are established. Those results describe the characterizations of interior structures of those algebras, and also offer a new way for further researching lattice-valued logic systems from the semantics.
基金
广东省自然科学基金资助项目(021073)
广东省高校自然科学研究(资助)项目(Z02017)