摘要
正则FI-代数、R0-代数、正则剩余格等代数结构都是非经典逻辑中基本而重要的"语义代数".本文中,进一步研究了它们之间的密切联系.特别地,证明了强正则剩余格与弱R0-代数是相互等价的代数结构.
The regular FI-algebras, regular residuated lattices and R_0-algebras are all the very important algebraic structures in logic systems, their connections are further studied in this paper. Specially, it is proved that strong regular residuated lattices are equivalent to weak R_0-algebras.
出处
《黄冈师范学院学报》
2003年第6期4-7,共4页
Journal of Huanggang Normal University
基金
广东省自然科学基金项目(02A1073)资助
广东省高校自然科学研究项目(Z02017)资助.
