• Korean Journal of Mathematics
• /
• v.21 no.2
• /
• pp.101-116
• /
• 2013

In this paper, we investigate the properties of fuzzy Galois (dual Galois, residuated, dual residuated) connections in a complete residuated lattice L.

• Journal of the Korean Mathematical Society
• /
• v.33 no.2
• /
• pp.217-225
• /
• 1996

An orthomodular lattice (abbreviated by OML) is an ortholattice L which satisfies the orthomodular law: if x $\leq$ y, then $y = x \vee (x' \wedge y)$ [5]. A Boolean algebra B is an ortholattice satisfying the distributive law : $x \vee (g \wedge z) = (x \vee y) \wedge (x \vee z) \forall x, y, z \in B$.

• Bulletin of the Korean Mathematical Society
• /
• v.45 no.4
• /
• pp.701-707
• /
• 2008

In this paper, as a generalization of derivation on a lattice, the notion of f-derivation for a lattice is introduced and some related properties are investigated.

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

• Kyungpook Mathematical Journal
• /
• v.45 no.1
• /
• pp.21-31
• /
• 2005

We introduce the notions of nilpotent element, quasi-regular element in a semiring which is a distributive lattice of rings. The concept of Jacobson radical is introduced for this kind of semirings.

• Journal of the Chungcheong Mathematical Society
• /
• v.20 no.3
• /
• pp.211-221
• /
• 2007

In this paper, we define ${\bigwedge}$-structure, ${\bigvee}$-structure to generalize some lattices, and study the conditions that a lattice which has ${\bigwedge}$-structure or ${\bigvee}$-structure to be continuous or algebraic.

• Proceedings of the Korean Ceranic Society Conference
• /
• 2004.04b
• /
• pp.32.2-32.2
• /
• 2004

• Journal of applied mathematics & informatics
• /
• v.33 no.3_4
• /
• pp.317-325
• /
• 2015

Proved that the two topoloies(spectral topology and D−topology) coincide on SpecR, MaxR and MinspecR iff R is complemented, normal and stone ADL respectively.

• Communications of the Korean Mathematical Society
• /
• v.19 no.2
• /
• pp.197-204
• /
• 2004

Every orthomodular lattice satisfying the loop lemma is the direct product of a Boolean algebra and an irreducible path-connected orthomodular lattice.

• Bulletin of the Korean Mathematical Society
• /
• v.51 no.5
• /
• pp.1369-1374
• /
• 2014

We show that the Diophantine equation $$aQ(x_1,x_2)+bQ(x_3,x_4)+cQ(x_5,x_6)=abc$$ has integral solutions for arbitrary positive integers a, b, c when Q(x, y) is a norm form for some imaginary quadratic fields.