• Journal of applied mathematics & informatics
• /
• v.33 no.5_6
• /
• pp.739-748
• /
• 2015

The notion of quasi-lattice implication algebras is a generalization of lattice implication algebras. In this paper, we give an optimized definition of quasi-lattice implication algebra and show that this algebra is a distributive lattice and that this algebra is a lattice implication algebra. Also, we define a congruence relation Φ_F induced by a filter F and show that every congruence relation on a quasi-lattice implication algebra is a congruence relation Φ_F induced by a filter F.

• Bulletin of the Korean Mathematical Society
• /
• v.38 no.1
• /
• pp.191-195
• /
• 2001

In this paper, a simple axiom system of lattice implication algebras is presented, it is convenient for verifying whether an algebra of type (2,2,2,1,0,0) becomes a lattice implication algebra.

• Bulletin of the Korean Mathematical Society
• /
• v.34 no.2
• /
• pp.193-198
• /
• 1997

In order to research the logical system whose propositional value is given in a lattice, Y. Xu [4] proposed the concept of lattice implication algebras, and discussed their some properties in [3] and [4]. Y. Xu and K. Qin [5] introduced the notions of filter and implicative filter in a lattice implication algebra, and investigated their properties. In this paper, in the first place, we give an equivalent condition of a filter, and provide some equivalent conditions that a filter is an implicative filter in a lattice implication algebra. By using these results, we construct an extension property for implicative filter.

• 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.

• Communications of the Korean Mathematical Society
• /
• v.18 no.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
• /
• v.43 no.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.

• Journal of the Chungcheong Mathematical Society
• /
• v.11 no.1
• /
• pp.13-26
• /
• 1998

The purpose of this note is to study the relation between Heyting algebra and t-algebra which is the dual concept of BCK-algebra. We define t-algebra with binary operation ${\rhd}$ which is a generalization of the implication in the Heyting algebra, and define a bounded ness and commutativity of it, and then characterize a Heyting algebra and a Boolean algebra as a bounded commutative t-algebra X satisfying $x=(x{\rhd}y){\rhd}x$ for all $x,y{\in}X$.

• Korean Journal of Mathematics
• /
• v.27 no.4
• /
• pp.1119-1131
• /
• 2019

In this paper, we introduce the notion of generalized f-derivation of lattice implication algebra and investigate some related properties. Also, we prove that if D is a generalized f-derivation associated with an f-derivation d of L, then D(x → y) = f(x) → D(y) for all x, y ∈ L.

• Journal of applied mathematics & informatics
• /
• v.26 no.3_4
• /
• pp.653-660
• /
• 2008

In this paper, we consider the fuzzification of prime filters in Lattice Implication Algebras (briefly, LIAs), and introduce the concepts of fuzzy prime filters (briefly, FP-filters), and we also studied the properties of FP-filters. Finally, we investigate the properties of fuzzy prime dual filters (briefly, FPD-filters) in LIA, and the relations of them are investigated.

• East Asian mathematical journal
• /
• v.36 no.1
• /
• pp.1-11
• /
• 2020

In this paper, we introduce the notion of symmetric bi-f-derivation of lattice implication algebra and investigated some related properties. Also, we prove that if D is a symmetric bi-f-derivation of L, then D(x → y, z) = f(x) → D(y, z) for all x, y, z ∈ L.