• 대한수학회보
• /
• 제35권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.

• 대한수학회논문집
• /
• 제18권4호
• /
• pp.621-628
• /
• 2003

We investigate some related properties of fuzzy filters and fuzzy implicative filters in lattice implication algebras. We find a characterization of fuzzy filters and fuzzy implicative filters, and we discuss a relation between fuzzy filters and fuzzy implicative filters in lattice implication algebras. Also we give an extension theorem of fuzzy implicative filters.

• Kyungpook Mathematical Journal
• /
• 제43권4호
• /
• pp.539-545
• /
• 2003

We present a set of equations that axiomatizes the class of all lattice implication algebras. The construction is different from the one given in [7], and the proof is direct: i.e., it does not rely on results from outside the realm of the lattice implication algebras, such as the theory of BCK-algebras. Then we show that the lattice H implication algebras are nothing more than the familiar Boolean algebras. Finally we obtain some negative results for the embedding of lattice implication algebras into Boolean algebras.

• 대한수학회지
• /
• 제36권2호
• /
• pp.369-380
• /
• 1999

As a continuation of the paper [3], in this paper we investigate the further properties on LI-ideals, and show that how to generate an LI-ideal by both and LI-ideal and an element. We define a prime LI-ideal, and give an equivalent condition for a proper LI-ideal to be prime. Using this result, we establish the extension property and prime LI-ideal theorem.