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

• 충청수학회지
• /
• 제12권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.

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

• 대한수학회논문집
• /
• 제26권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
• /
• 제47권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
• /
• 제40권4호
• /
• pp.270-274
• /
• 2016

양 벽면이 수축되는 채널에서 ${\vee}/{\wedge}$형 리브의 각도가 열전달에 미치는 효과를 실험적으로 조사하였다. 한 벽면에만 설치된 ${\vee}/{\wedge}$형 리브의 충돌 각은 각각 $30^{\circ}$, $45^{\circ}$, $60^{\circ}$ 그리고 $90^{\circ}$이다. 리브의 높이(e)는 10 mm 그리고 리브 간격(p)과 높이(e)비는 10으로 제작하였다. 길이가 1,000 mm인 시험 부는 입구의 단면적은 $100mm{\times}100mm$, 출구는 $50mm{\times}100mm$으로 제작하였다. 레이놀즈수가 22,000에서 75,000까지의 범위에서 실험을 수행하였다. 연구결과 전체적으로 레이놀즈 수가 높을수록 누셀트 수가 컸고, ${\wedge}$형 $45^{\circ}$ 리브가 가장 누셀트 수가 컸다.

• Kyungpook Mathematical Journal
• /
• 제52권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.

• 논리연구
• /
• 제17권2호
• /
• pp.323-349
• /
• 2014

이 글에서 우리는 보상 없는 강화 (cfr) $(({\phi}&{\psi}){\rightarrow}({\phi}{\wedge}{\psi})){\vee}(({\phi}{\vee}{\psi}){\rightarrow}({\phi}&{\psi}))$를 갖는 유니놈 논리의 확장에 대해 표준 완전성이 제공될 수 있다는 것을 보인다. 이를 위하여, 먼저 보상 없는 강화를 갖는 유니놈 논리 $UL_{cfr}$을 소개한다. 이 체계에 상응하는 대수적 구조를 정의한 후, $UL_{cfr}$이 대수적으로 완전하다는 것을 보인다. 다음으로, $UL_{cfr}$이 표준적으로 완전하다는 것 즉 단위 실수 [0, 1]에서 완전하다는 것을 Yang (2009)에서의 방법을 사용하여 보인다.

• 대한수학회논문집
• /
• 제22권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.