• 한국지능시스템학회논문지
• /
• 제21권1호
• /
• pp.145-152
• /
• 2011

By using the notion of interval-valued intuitionistic fuzzy relations, we form the poset (IVIR(X), $\leq$) of interval-valued intuitionistic fuzzy relations on a given set X. In particular, we form the subposet (IVIE(X), $\leq$) of interval-valued intuitionistic fuzzy equivalence relations on a given set X and prove that the poset (IVIE(X), $\leq$) is a complete lattice with the least element and greatest element.

• Kyungpook Mathematical Journal
• /
• 제60권1호
• /
• pp.1-20
• /
• 2020

A simple but elegant result of Rival states that every sublattice L of a finite distributive lattice 𝒫 can be constructed from 𝒫 by removing a particular family 𝒥_L of its irreducible intervals. Applying this in the case that 𝒫 is a product of a finite set 𝒞 of chains, we get a one-to-one correspondence L ↦ 𝒟_𝒫(L) between the sublattices of 𝒫 and the preorders spanned by a canonical sublattice 𝒞^⋄ of 𝒫. We then show that L is a tight sublattice of the product of chains 𝒫 if and only if 𝒟_𝒫(L) is asymmetric. This yields a one-to-one correspondence between the tight sublattices of 𝒫 and the posets spanned by its poset J(𝒫) of non-zero join-irreducible elements. With this we recover and extend, among other classical results, the correspondence derived from results of Birkhoff and Dilworth, between the tight embeddings of a finite distributive lattice L into products of chains, and the chain decompositions of its poset J(L) of non-zero join-irreducible elements.

• 대한수학회보
• /
• 제35권2호
• /
• pp.203-208
• /
• 1998

• 충청수학회지
• /
• 제9권1호
• /
• pp.11-15
• /
• 1996

In this paper we prove that if Y is a poset of the form $\underline{1}{\oplus}Y^{\prime}$ for some subposet Y' then BCK(Y) is a ${\Gamma}$-BCK-algebra. Moreover, if X is a BCI-algebra then Hom(X, BCK(Y)) is a positive implicative ${\Gamma}$-BCK-algebra.

• 대한수학회보
• /
• 제36권2호
• /
• pp.343-349
• /
• 1999

In this paper we apply the notion of $\rhd$$\mu$ and $\lhd$$\mu$ to fuzzy BCK-algebra, and show that $\lhd$$\mu$ is cogradient to a partial order of the BCK-algebra.

• 호남수학학술지
• /
• 제43권4호
• /
• pp.741-749
• /
• 2021

A variant of up-down posets described below and the number of their linear extensions were studied. We obtained the exponential generating functions which showed that how they are related to the Euler's up-down numbers.

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

• 호남수학학술지
• /
• 제36권1호
• /
• pp.85-102
• /
• 2014

We show that if a graph G is compressed, then the proper part of the intersection poset of the corresponding graphical arrangement $A_G$ has the homotopy type of a wedge of spheres. Furthermore, we also indicate the number of spheres in the wedge, based on the number of adjacent edges of vertices in G.

• 대한수학회보
• /
• 제53권4호
• /
• pp.971-983
• /
• 2016

A partially ordered set P is ideal-homogeneous provided that for any ideals I and J, if $$I{\sim_=}_{\sigma}J$$, then there exists an automorphism ${\sigma}^*$ such that ${\sigma}^*{\mid}_I={\sigma}$. Behrendt [1] characterizes the ideal-homogeneous partially ordered sets of height 1. In this paper, we characterize the ideal-homogeneous partially ordered sets of height 2 and nd some families of ideal-homogeneous partially ordered sets.

• 대한수학회논문집
• /
• 제35권2호
• /
• pp.347-358
• /
• 2020

In this paper, we simplify the natural partial ordering ≼ on the semigroup 𝒪([n]) under composition of all order-preserving maps on [n] = {1, …, n}, and describe its maximal elements. Also, we show that the poset (𝒪([n]), ≼) is weakly graded and determine when (𝒪([n]), ≼) has a structure of (i + 1)-avoidance.