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

• Korean Journal of Mathematics
• /
• v.16 no.3
• /
• pp.403-412
• /
• 2008

We define the operations ${\vee}$ and ${\wedge}$ for fuzzy sets in a lattice, characterize fuzzy sublattices in terms of ${\vee}$ and ${\wedge}$, develop some properties of the distributive fuzzy sublattices, and find the fuzzy ideal generated by a fuzzy subset in a lattice and the fuzzy dual ideal generated by a fuzzy subset in a lattice.

• Journal of the Korean Mathematical Society
• /
• v.36 no.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.

• Journal of applied mathematics & informatics
• /
• v.37 no.5_6
• /
• pp.383-397
• /
• 2019

In this paper, we introduce ${\delta}$-fuzzy ideals in a pseudo complemented distributive lattice in terms of fuzzy filters. It is proved that the set of all ${\delta}$-fuzzy ideals forms a complete distributive lattice. The set of equivalent conditions are given for the class of all ${\delta}$-fuzzy ideals to be a sub-lattice of the fuzzy ideals of L. Moreover, ${\delta}$-fuzzy ideals are characterized in terms of fuzzy congruences.

• Annals of Fuzzy Mathematics and Informatics
• /
• v.16 no.3
• /
• pp.285-299
• /
• 2018

Many generalizations of ideals of a lattice to an arbitrary poset have been studied by different scholars. In this paper, we introduce several L-fuzzy ideals of a poset which generalize the notion of an L-fuzzy ideal of a lattice and give several characterizations of them.

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

• Honam Mathematical Journal
• /
• v.37 no.2
• /
• pp.187-205
• /
• 2015

We discuss the relationship between interval-valued fuzzy ideals and interval-valued fuzzy congruence on a distributive lattice L and show that for a generalized Boolean algebra the lattice of interval-valued fuzzy ideals is isomorphic to the lattice of interval-valued fuzzy congruences. Finally we consider the products of interval-valued fuzzy ideals and obtain a necessary and sufficient condition for an interval-valued fuzzy ideal on the direct sum of lattices to be representable as a direct sum of interval-valued fuzzy ideals on each lattice.

• Journal of the Korean Society of Industry Convergence
• /
• v.19 no.3
• /
• pp.133-143
• /
• 2016

The objective in here is to find the density, stiffness, and strength of truss-wall rectangular (TWR) model which is combined with lattice truss (MLT) inside space. The TWR unit-cell model is defined as a unit cell originated from a solid-wall rectangular (SWR) model and it has an empty space inside. Thus, the empty space inside of the TWR is filled with lattice truss model defined as TWR-MLT. The ideal solutions derived of TWR-MLT are based on TWR with MLT model and it has developed by Gibson-Ashby's theory. To validate the ideal solutions of the TWR-MLT, ABAQUS software is applied to predict the density, strength, and stiffness, and then each of them are compared with the Gibson-Ashby's ideal solution as a log-log scale. Applied material property is stainless steel 304 because of cost effectiveness and easy to get around. For the analysis, SWR and TWR-MLT models are 1mm, 2mm, and 3mm truss diameter separately within a fixed 20mm opening width. In conclusion, the relative Young's modulus and relative yield strength of the TWR-MLT unit model is reasonably matched to the ideal expectations of the Gibson-Ashby's theory. In nearby future, TWR-MLT model can be verified by advanced technologies such as 3D printing skills.t.

• Journal of applied mathematics & informatics
• /
• v.18 no.1_2
• /
• pp.465-486
• /
• 2005

We study the relationship between intuitionistic fuzzy ideals and intuitionistic fuzzy congruences on a distributive lattice. And we prove that the lattice of intuitionistic fuzzy ideals is isomorphic to the lattice of intuitionistic fuzzy congruences on a generalized Boolean algebra.

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.3
• /
• pp.977-986
• /
• 2015

Let G be a graph on the vertex set $V(G)=\{x_1,{\cdots},x_n\}$ with the edge set E(G), and let $R=K[x_1,{\cdots},x_n]$ be the polynomial ring over a field K. Two monomial ideals are associated to G, the edge ideal I(G) generated by all monomials $x_i,x_j$ with $\{x_i,x_j\}{\in}E(G)$, and the vertex cover ideal $I_G$ generated by monomials ${\prod}_{x_i{\in}C}{^{x_i}}$ for all minimal vertex covers C of G. A minimal vertex cover of G is a subset $C{\subset}V(G)$ such that each edge has at least one vertex in C and no proper subset of C has the same property. Indeed, the vertex cover ideal of G is the Alexander dual of the edge ideal of G. In this paper, for an unmixed bipartite graph G we consider the lattice of vertex covers $L_G$ and we explicitly describe the minimal free resolution of the ideal associated to $L_G$ which is exactly the vertex cover ideal of G. Then we compute depth, projective dimension, regularity and extremal Betti numbers of R/I(G) in terms of the associated lattice.