• International Journal of Contents
• /
• 제7권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
• /
• 제26권3_4호
• /
• pp.707-720
• /
• 2008

Molodtsov [12] introduced the concept of soft set as a new mathematical tool for dealing with uncertainties that is free from the difficulties that have troubled the usual theoretical approaches. In this paper we apply the notion of soft sets by Molodtsov to commutative ideals of BCK-algebras, The notions of commutative soft ideals and commutative idealistic soft BCK-algebras are introduced, and their basic properties are investigated. Examples to show that there is no relations between positive implicative idealistic soft BCK-algebras and commutative idealistic soft BCK-algebras are provided.

• Journal of applied mathematics & informatics
• /
• 제14권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.

• 호남수학학술지
• /
• 제40권3호
• /
• pp.539-548
• /
• 2018

The notions of Smarandache (positive implicative, commutative, implicative) d-algebras, Smarandache subalgebras of Smarandache d-algebras and Smarandache BCK-ideals(d-ideals) of a Smarandache d-algebras are introduced. Examples are given, and several related properties are investigated.

• East Asian mathematical journal
• /
• 제13권2호
• /
• pp.187-195
• /
• 1997

• 대한수학회보
• /
• 제42권3호
• /
• pp.443-451
• /
• 2005

The notion of grisly deductive systems of a BL-algebra is introduced. Conditions for a deductive system to be a grisly deductive system are given. Extension property for a grisly deductive system is established

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

• 호남수학학술지
• /
• 제28권1호
• /
• pp.45-56
• /
• 2006

We give characterizations of a deductive system of a BL-algebra, and discuss how to generate a deductive system by a set.

• 충청수학회지
• /
• 제11권1호
• /
• pp.53-58
• /
• 1998

In this paper we study (positive) implicativeness of $BCK^{\star}(X^{\star})$, and investigate some properties of ideals in $BCK^{\star}(X)$.

• East Asian mathematical journal
• /
• 제26권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.