Ideals and embedding theorem of co-residuated lattices
Wang Guo-jun · Journal of Shaanxi Normal University · 2006
Based on the theory of co-residuated lattices,the concepts of ideal,principal ideal,prime ideal and maximal ideal of a co-residuated lattice are proposed and the properties of them are discussed.Then a distance function is introduced and a congruence on co-residuated lattices is given.Finally,an embedding theorem of co-residuated lattice is obtained,which states that a co-residuated lattice satisfying prelinear condition is isomorphic to a subdirect product of a chain of co-residuated lattices.