• Journal of the Korean Mathematical Society
• /
• v.38 no.5
• /
• pp.937-954
• /
• 2001

This paper is a natural continuation of [2], [3], [4] and [5]. Localization techniques for modular lattices are developed. These techniques are applied to study liftings of linear order types from quotient lattices and to find Г-dense sets in certain lattices without Г-deviation in the sense of [4], where Г is a set of indecomposable linear order types.

• Bulletin of the Korean Mathematical Society
• /
• v.35 no.1
• /
• pp.13-24
• /
• 1998

We define an LI-ideal of a lattice implication algebra and show that every LI-ideal is a lattice ideal. We give an exampl that a lattice ideal may not be an LI-ideal, and show that every lattice ideal is an LI-ideal in a lattice H implication algebra. we discuss the relationship between filters and LI-ideals, and study how to generate an LI-ideal by a set. We construct the quotient structure by using an LI-ideal, and study the properties of LI-ideals related to implication homomorphisms.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.11 no.3
• /
• pp.286-291
• /
• 2001

We inverstigate the properties of BL-hommorphisms on BL-algebras. In particular, we find the BL-algebra in duced by lattice-isomorphism. From these facts, we obtain the generalized Lukasiewicz structure. More-over, we study the properties of quotient BL-algebras and deductive systems.

• Honam Mathematical Journal
• /
• v.40 no.3
• /
• pp.401-431
• /
• 2018

In this paper, some kinds of (skew) filters are defined and are studied in residuated skew lattices. Some relations are got between these filters and quotient algebras constructed via these filters. The Green filter is defined which establishes a connection between residuated lattices and residuated skew lattices. It is investigated that relationships between Green filter and other types of filters in residuated skew lattices and the relationship between residuated skew lattice and other skew structures are studied. It is proved that for a residuated skew lattice, skew Hilbert algebra and skew G-algebra are equivalent too.