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

• Journal of the Chungcheong Mathematical Society
• /
• v.12 no.1
• /
• pp.63-72
• /
• 1999

We introduce a concept of fuzzy linearity: A function $F:L^0(X){\rightarrow}\mathbb{R}$ is fuzzy linear if $F[({\alpha}{\wedge}f){\vee}(b{\wedge}g)]=[a{\wedge}F(f)]{\vee}[b{\wedge}F(g)]$ for $f,g{\in}L^0(X)$ and a, b > 0. We show that a fuzzy integral is fuzzy linear if the measure is fuzzy c-additive.

• Journal of the Korean Mathematical Society
• /
• v.33 no.1
• /
• pp.15-23
• /
• 1996

Let C be a category of (pointed) spaces. For $X, Y \in C$ we denote the wedge (or one point union) by $X \vee Y$ and the cartesian product by $X \times Y$. Let $Z \in C$; we say that Z cancels with respect to wedge (resp. cartesian product) and C, if for all $X, Y \in C$ the existence of a homotopy equivalence $X \vee Z \to Y \vee Z$ implies the existence of a homotopy equivalence $X \to Y$ (resp. for cartesian product). If this does not hold, we say that there is a non-cancellation phenomenon involving Z (and C).

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

• Communications of the Korean Mathematical Society
• /
• v.26 no.3
• /
• pp.385-403
• /
• 2011

Generalizations of the notion of fuzzy hyper K-subalgebras are considered. The concept of fuzzy hyper K-subalgebras of type (${\alpha},{\beta}$) where ${\alpha}$, ${\beta}$ ${\in}$ {${\in}$, q, ${\in}{\vee}q$, ${\in}{\wedge}q$} and ${\alpha}{\neq}{\in}{\wedge}q$. Relations between each types are investigated, and many related properties are discussed. In particular, the notion of (${\in}$, ${\in}{\vee}q$)-fuzzy hyper K-subalgebras is dealt with, and characterizations of (${\in}$, ${\in}{\vee}q$)-fuzzy hyper K-subalgebras are established. Conditions for an (${\in}$, ${\in}{\vee}q$)-fuzzy hyper K-subalgebra to be an (${\in}$, ${\in}$)-fuzzy hyper K-subalgebra are provided. An (${\in}$, ${\in}{\vee}q$)-fuzzy hyper K-subalgebra by using a collection of hyper K-subalgebras is established. Finally the implication-based fuzzy hyper K-subalgebras are discussed.

• Kyungpook Mathematical Journal
• /
• v.47 no.3
• /
• pp.403-410
• /
• 2007

Using the belongs to relation (${\in}$) and quasi-coincidence with relation (q) between fuzzy points and fuzzy sets, the concept of (${\alpha}$, ${\beta}$)-fuzzy subalgebras where ${\alpha}$ and ${\beta}$ areany two of {${\in}$, q, ${\in}{\vee}q$, ${\in}{\wedge}q$} with ${\alpha}{\neq}{\in}{\wedge}q$ was already introduced, and related properties were investigated (see [3]). In this paper, we give a condition for an (${\in}$, ${\in}{\vee}q$)-fuzzy subalgebra to be an (${\in}$, ${\in}$)-fuzzy subalgebra. We provide characterizations of an (${\in}$, ${\in}{\vee}q$)-fuzzy subalgebra. We show that a proper (${\in}$, ${\in}$)-fuzzy subalgebra $\mathfrak{A}$ of X with additional conditions can be expressed as the union of two proper non-equivalent (${\in}$, ${\in}$)-fuzzy subalgebras of X. We also prove that if $\mathfrak{A}$ is a proper (${\in}$, ${\in}{\vee}q$)-fuzzy subalgebra of a CK/BCI-algebra X such that #($\mathfrak{A}(x){\mid}\mathfrak{A}(x)$ < 0.5} ${\geq}2$, then there exist two prope non-equivalent (${\in}$, ${\in}{\vee}q$)-fuzzy subalgebras of X such that $\mathfrak{A}$ can be expressed as the union of them.

• Journal of Advanced Marine Engineering and Technology
• /
• v.40 no.4
• /
• pp.270-274
• /
• 2016

The effect of the rib angle-of-attack on heat transfer in the convergent channel with ${\vee}/{\wedge}$-shaped ribs was examined experimentally. Four differently angled ribs (a = $30^{\circ}$, $45^{\circ}$, $60^{\circ}$, and $90^{\circ}$) were placed to only the one sided wall. The ribbed wall was manufactured with a fixed rib height (e) of 10 mm and rib spacing (p)-to-height (e) ratio of 10. The convergent channel had a length of 1,000 mm and a cross-sectional areas of $100mm{\times}100mm$ at inlet and $50mm{\times}100mm$ at exit. The measurement was conducted for the Reynolds numbers ranging from 22,000 to 75,000. The results show that the Nusselt number is generally higher at higher Reynolds number and that an angle-of-attack of $45^{\circ}$ at the ${\wedge}$-shaped rib produces the greatest Nusselt number.

• Kyungpook Mathematical Journal
• /
• v.52 no.4
• /
• pp.405-412
• /
• 2012

The purpose of the present paper is towards working out a unified version of the study of certain weak forms of generalized open sets and their neighbouring forms, as are already available in the literature. In terms of an operation, as initiated by $\acute{A}$. Cs$\acute{a}$sz$\acute{a}$r, we introduce unified definitions of ${\wedge}_{\psi}$-sets, ${\vee}_{\psi}$-sets, $g{\cdot}{\wedge}_{\psi}$-sets and $g{\cdot}{\vee}_{\psi}$-sets and derive results concerning them.

• Korean Journal of Logic
• /
• v.17 no.2
• /
• pp.323-349
• /
• 2014

In this paper, we show that the standard completeness for the extension of UL with compensation-free reinforcement (cfr) $(({\phi}&{\psi}){\rightarrow}({\phi}{\wedge}{\psi})){\vee}(({\phi}{\vee}{\psi}){\rightarrow}({\phi}&{\psi}))$ can be established. More exactly, first, the compensation-freely reinforced uninorm logic $UL_{cfr}$ (the UL with (cfr)) is introduced. The algebraic structures of $UL_{cfr}$ are then defined, and its algebraic completeness is established. Next, standard completeness (i.e. completeness on [0, 1]) is established for $UL_{cfr}$ by using the method introduced in Yang (2009).

• Communications of the Korean Mathematical Society
• /
• v.22 no.2
• /
• pp.173-181
• /
• 2007

Using the belongs to relation ($\in$) and quasi-coincidence with relation (q) between fuzzy points and fuzzy sets, the concept of ($\alpha,\;\beta$)-fuzzy subalgebras where $\alpha,\;\beta$ are any two of $\{{\in},\;q,\;{\in}\;{\vee}\;q,\;{\in}\;{\wedge}\;q\}$ with ${\alpha}\;{\neq}\;{\in}\;{\wedge}\;q$ was introduced, and related properties were investigated in [3]. As a continuation of the paper [3], in this paper, the notion of a fuzzy subalgebra with thresholds is introduced, and its characterizations are obtained. Relations between a fuzzy subalgebra with thresholds and an (${\in},\;{\in}\;{\vee}\;q$)-fuzzy subalgebra are provided.