• Journal of the Korean Institute of Intelligent Systems
• /
• v.13 no.2
• /
• pp.243-246
• /
• 2003

In this paper we define a weak positive implicative hyperBCK-ideal of hyperBCK-algebra. Also we investigate that every positive implicative hyperBCK-algebra is a positive implicative hyperK-algebra and then we prove that every positive implicative hyperK-algebra is a weak positive implicative hyperk-algebra.

• Journal of applied mathematics & informatics
• /
• v.40 no.1_2
• /
• pp.317-325
• /
• 2022

The concept of hom-set in an implicative algebra as an implicative algebra is introduced. The idea of sub implicative algebra in hom-set, 1-commutative algebra of hom-set are investigated. Different characterization theorems are proved.

• Journal of applied mathematics & informatics
• /
• v.10 no.1_2
• /
• pp.51-62
• /
• 2002

The present paper gives a new construction of a quotient BCI(BCK)-algebra X/${\mu}$ by a fuzzy ideal ${\mu}$ in X and establishes the Fuzzy Homomorphism Fundamental Theorem. We show that if ${\mu}$ is a fuzzy ideal (closed fuzzy ideal) of X, then X/${\mu}$ is a commutative (resp. positive implicative, implicative) BCK(BCI)-algebra if and only if It is a fuzzy commutative (resp. positive implicative, implicative) ideal of X Moreover we prove that a fuzzy ideal of a BCI-algebra is closed if and only if it is a fuzzy subalgebra of X We show that if the period of every element in a BCI-algebra X is finite, then any fuzzy ideal of X is closed. Especiatly, in a well (resp. finite, associative, quasi-associative, simple) BCI-algebra, any fuzzy ideal must be closed.

• Bulletin of the Korean Mathematical Society
• /
• v.36 no.1
• /
• pp.109-117
• /
• 1999

We introduce the notion of a fuzzy topological implicative algebras and apply some of Foster's results [2] to homomorphic images and inverse images of fuzzy topological implicative algebras.

• Bulletin of the Korean Mathematical Society
• /
• v.40 no.1
• /
• pp.123-137
• /
• 2003

In this note first we define the notions of weak implicative and implicative hyper K-ideals of a hyper K-algebra H. Then we state and prove some theorems which determine the relationship between these notions and (weak) hyper K-ideals. Also we give some relations between these notions and all types of positive implicative hyper K-ideals. Finally we classify the implicative hyper K-ideals of a hyper K-algebra of order 3.

• Journal of applied mathematics & informatics
• /
• v.35 no.5_6
• /
• pp.513-528
• /
• 2017

The concept of weak implicative filters is introduced in BE-algebras. Some characterizations of weak implicative filters are derived in terms of filters of a BE-algebra. Fuzzification is applied to the class of weak implicative filters. Some properties of fuzzy weak implicative filters are studied with respect to fuzzy relations and homomorphisms. The notion of triangular normed fuzzy weak implicative filters is introduced in BE-algebras and their properties are studied.

• Bulletin of the Korean Mathematical Society
• /
• v.34 no.2
• /
• pp.193-198
• /
• 1997

In order to research the logical system whose propositional value is given in a lattice, Y. Xu [4] proposed the concept of lattice implication algebras, and discussed their some properties in [3] and [4]. Y. Xu and K. Qin [5] introduced the notions of filter and implicative filter in a lattice implication algebra, and investigated their properties. In this paper, in the first place, we give an equivalent condition of a filter, and provide some equivalent conditions that a filter is an implicative filter in a lattice implication algebra. By using these results, we construct an extension property for implicative filter.

• Journal of applied mathematics & informatics
• /
• v.33 no.3_4
• /
• pp.459-467
• /
• 2015

The notion of int-soft implicative filters of a BE-algebra is introduced, and related properties are investigated. The problem of clas- sifying int-soft positive implicative by their γ-inclusive filter is solved. We provide conditions for a soft set to be an int-soft filter. We make a new int-soft implicative filter from old one.

• Bulletin of the Korean Mathematical Society
• /
• v.35 no.1
• /
• pp.53-61
• /
• 1998

We introduce the concepts of a positive implicative filter and an associative filter in a lattice implication algebra. We prove that (i) every positive implicative filter is an implicative filter, and (ii) every associative filter is a filter. We provide equivalent conditions for both a positive implicative filter and an associative filter.

• Communications of the Korean Mathematical Society
• /
• v.18 no.4
• /
• pp.621-628
• /
• 2003

We investigate some related properties of fuzzy filters and fuzzy implicative filters in lattice implication algebras. We find a characterization of fuzzy filters and fuzzy implicative filters, and we discuss a relation between fuzzy filters and fuzzy implicative filters in lattice implication algebras. Also we give an extension theorem of fuzzy implicative filters.