• The Pure and Applied Mathematics
• /
• v.19 no.2
• /
• pp.127-136
• /
• 2012

In this paper, we introduce the notion of an implicative vague filter in BE-algebras, and investigate some properties of them. Also we give conditions for a vague set to be an implicative vague filter, and we characterize implicative vague filters in BE-algebras. We define the notion of $n$-fold implicative vague filters in BE-algebras and we give characterizations of $n$-fold implicative vague filters and $n$-fold implicative BE-algebras.

• International Journal of Contents
• /
• v.7 no.4
• /
• pp.56-63
• /
• 2011

Quantum mechanics is a branch of physics for a mathematical description of the particle wave, and it is applied to information technology such as quantum computer, quantum information, quantum network and quantum cryptography, etc. In 1936, Garrett Birkhoff and John von Neumann introduced the logic of quantum mechanics (quantum logic) in order to investigate projections on a Hilbert space. As another type of quantum logic, orthomodular implication algebra was introduced by Chajda et al. This algebra has the logical implication as a binary operation. In pure mathematics, there are many algebras such as Hilbert algebras, implicative models, implication algebras and dual BCK-algebras (DBCK-algebras), which have the logical implication as a binary operation. In this paper, we introduce the definitions and some properties of those algebras and clarify the relations between those algebras. Also, we define the implicative poset which is a generalization of orthomodular implication algebras and DBCK-algebras, and research properties of this algebraic structure.

• Journal of applied mathematics & informatics
• /
• v.14 no.1_2
• /
• pp.137-155
• /
• 2004

Fuzzification of a fantastic filter in a lattice implication algebra is considered. Relations among a fuzzy filter, a fuzzy fantastic filter, and fuzzy positive implicative filter are stated. Conditions for a fuzzy filter to be a fuzzy fantastic filter are given. Using the notion of level set, a characterization of a fuzzy fantastic filter is considered. Extension property for fuzzy fantastic filters is established. The notion of normal/maximal fuzzy fantastic filters and complete fuzzy fantastic filters is introduced, and some related properties are investigated.

• Journal of the Chungcheong Mathematical Society
• /
• v.9 no.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.

• East Asian mathematical journal
• /
• v.26 no.3
• /
• pp.379-387
• /
• 2010

In this paper, we prove that the extension ideal of a fuzzy characteristic ideal of a positive implicative BCK-algebra is a fuzzy characteristic ideal. We introduce the notion of the extension of intuitionistic fuzzy ideal of BCK-algebras and some properties of fuzzy intuitionistic ideal extensions of BCK-algebra are investigated.

• Honam Mathematical Journal
• /
• v.27 no.4
• /
• pp.561-570
• /
• 2005

In this paper, we introduce the notion of positive implicative subtraction algebras and study some relations between R(L)-maps and positive implicativity in subtraction algebras.

• Honam Mathematical Journal
• /
• v.27 no.2
• /
• pp.141-162
• /
• 2005

In this paper, by considering the notion of hyperK-algebras of order 3 (which satisfies the simple or normal condition), we state and prove some theorems which determine the relationships between (weak) hyperK-ideals and positive implicative hyperK-ideals of type $1,{\ldots},8$.

• Honam Mathematical Journal
• /
• v.31 no.3
• /
• pp.323-333
• /
• 2009

We introduce the concepts of a fuzzifying filter and a fuzzifying implicative filter in lattice implication algebras.

• Journal of the Chungcheong Mathematical Society
• /
• v.13 no.2
• /
• pp.53-59
• /
• 2001

In this paper, we introduce the notion of positive implicative BH-algebras and study some relations between R - (L-) maps and positive implicativity in BH-algebras.

• Communications of the Korean Mathematical Society
• /
• v.25 no.4
• /
• pp.537-545
• /
• 2010

The notions of (weak) hyper MV-deductive systems and (weak) implicative hyper MV-deductive systems are introduced, and several properties are investigated. Relations among hyper MV-deductive systems, weak hyper MV-deductive systems, implicative hyper MV-deductive systems and weak implicative hyper MV-deductive systems are discussed. A characterization of a hyper MV-deductive system is provided. A condition for a weak hyper MV-deductive system to be a weak implicative hyper MV-deductive system is given.