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

• 호남수학학술지
• /
• 제36권3호
• /
• pp.623-635
• /
• 2014

Classications of (${\alpha},{\beta}$)-fuzzy subalgebras of BCK/BCI-algebras are discussed. Relations between (${\in},{\in}{\vee}q$)-fuzzy subalgebras and ($q,{\in}{\vee}q$)-fuzzy subalgebras are established. Given special sets, so called t-q-set and t-${\in}{\vee}q$-set, conditions for the t-q-set and t-${\in}{\vee}q$-set to be subalgebras are considered. The notions of $({\in},q)^{max}$-fuzzy subalgebra, $(q,{\in})^{max}$-fuzzy subalgebra and $(q,{\in}{\vee}q)^{max}$-fuzzy subalgebra are introduced. Conditions for a fuzzy set to be an $({\in},q)^{max}$-fuzzy subalgebra, a $(q,{\in})^{max}$-fuzzy subalgebra and a $(q,{\in}{\vee}q)^{max}$-fuzzy subalgebra are considered.

• 대한수학회논문집
• /
• 제27권4호
• /
• pp.669-687
• /
• 2012

As a generalization of the concept of a fuzzy implicative filter which is introduced by Liu and Li [3], the notion of (${\in}$, ${\in}{\vee}q_k$)-fuzzy implicative filters is introduced, and related properties are investigated. The relationship between (${\in}$, ${\in}{\vee}q_k$)-fuzzy filters and (${\in}$, ${\in}{\vee}q_k$)-fuzzy implicative filters is established. Conditions for an (${\in}$, ${\in}{\vee}q_k$)-fuzzy filter to be an (${\in}$, ${\in}{\vee}q_k$)-fuzzy implicative filter are considered. Characterizations of an (${\in}$, ${\in}{\vee}q_k$)-fuzzy implicative filter are provided, and the implication-based fuzzy implicative filters of an $R_0$-algebra is discussed.

• KEPCO Journal on Electric Power and Energy
• /
• 제2권4호
• /
• pp.557-562
• /
• 2016

계량데이터 관리 시스템은 수용가에서 검침된 계량데이터를 수집하고 관리하는 시스템이다. 이 시스템에는 검침된 데이터의 오검침과 유효성을 판단하는 검증과 누락된 검침값이나 오검침으로 판단된 구간값을 추정하는 VEE 알고리즘이 있다. 그러나 기존의 VEE 알고리즘은 현장 데이터의 특성을 반영하지 않고 검증하고 추정하기 때문에 그만큼 신뢰성과 정확도가 낮아지는 단점이 있다. 본 논문에서는 검증 신뢰성과 추정 정확도를 향상시킬 수 있는 차세대 VEE 알고리즘을 제안한다.

• Kyungpook Mathematical Journal
• /
• 제45권4호
• /
• pp.539-547
• /
• 2005

The class of b-open sets in the sense of $Andrijevi{\acute{c}}$ ([3]), was discussed by El-Atik ([9]) under the name of ${\gamma}-open$ sets. This class is closed under arbitrary union. The aim of this paper is to use ${\Lambda}-sets$ and ${\vee}-sets$ due to Maki ([15]) some topologies are constructed with the concept of b-open sets. $b-{\Lambda}-sets,\;b-{\vee}-sets$ are the basic concepts introduced and investigated. Moreover, several types of near continuous function based on $b-{\Lambda}-sets,\;b-{\vee}-sets$ are constructed and studied.

• 호남수학학술지
• /
• 제36권3호
• /
• pp.569-596
• /
• 2014

In several applied disciplines like control engineering, computer sciences, error-correcting codes and fuzzy automata theory, the use of fuzzied algebraic structures especially ordered semi-groups and their fuzzy subsystems play a remarkable role. In this paper, we introduce the notion of (${\in},{\in}{\vee}\bar{q}_k$)-fuzzy subsystems of ordered semigroups namely (${\in},{\in}{\vee}\bar{q}_k$)-fuzzy generalized bi-ideals of ordered semigroups. The important milestone of the present paper is to link ordinary generalized bi-ideals and (${\in},{\in}{\vee}\bar{q}_k$)-fuzzy generalized bi-ideals. Moreover, different classes of ordered semi-groups such as regular and left weakly regular ordered semigroups are characterized by the properties of this new notion. Finally, the upper part of a (${\in},{\in}{\vee}\bar{q}_k$)-fuzzy generalized bi-ideal is defined and some characterizations are discussed.

• 호남수학학술지
• /
• 제30권3호
• /
• pp.513-519
• /
• 2008

Let (R, m) be a Noetherian local ring with maximal ideal m, E := $E_R$(R/m) and let I be an ideal of R. Let M and N be finitely generated R-modules. It is shown that $H^n_I(M,(H^n_I(N)^{\vee})){\cong}(M{\otimes}_RN)^{\vee}$ where grade(I, N) = n = $cd_i$(I, N). We also show that for n = grade(I, R), one has $End_R(H^n_I(P,R)^{\vee}){\cong}Ext^n_R(H^n_I(P,R),P^*)^{\vee}$.

• 충청수학회지
• /
• 제32권2호
• /
• pp.207-214
• /
• 2019

The notions of a fuzzy simple BCK/BCI-algebra and an (${\in},{\in}{\vee}q$)-fuzzy simple BCK/BCI-algebra are introduced. Using these notions, characterizations of a simple BCK/BCI-algebra are considered.

• 대한수학회논문집
• /
• 제26권3호
• /
• pp.349-371
• /
• 2011

Using the "belongs to" relation and "quasi-coincident with" relation between a fuzzy point and a fuzzy subgroup, Bhakat and Das, in 1992 and 1996, initiated general types of fuzzy subgroups which are a generalization of Rosenfeld's fuzzy subgroups. In this paper, more general notions of "belongs to" and "quasi-coincident with" relation between a fuzzy point and a fuzzy set are provided, and more general formulations of general types of fuzzy (normal) subgroups by Bhakat and Das are discussed. Furthermore, general type of coset is introduced, and related fundamental properties are investigated.

• Kyungpook Mathematical Journal
• /
• 제51권1호
• /
• pp.11-28
• /
• 2011

The notions of ($\overline{\in}$, $\overline{\in}{\vee}\overline{qk}$)-fuzzy BCK-filters and fuzzy BCK-filters with thresholds are introduced, and several related properties are investigated. Characterizations of such notions are displayed, and implication-based fuzzy BCK-filters are discussed.