关于正则剩余格与R_0^-代数的几点注记

Some notes on regular residuated lattices and R_0-algebras

正则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.