• 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.

• Bulletin of the Korean Mathematical Society
• /
• v.39 no.2
• /
• pp.185-198
• /
• 2002

We Consider the fuzzification of sub-implicative ideals in BCI-algebras, and investigate some related properties. We give conditions for a fuzzy ideal to be a fuzzy sub-implicative ideal. we show that (1) every fuzzy sub-implicative ideal is a fuzzy ideal, but the converse is not true, (2) every fuzzy sub-implicative ideal is a fuzzy positive implicative ideal, but the converse is not true, and (3) every fuzzy p-ideal is a fuzzy sub-implicative ideal, but the converse is not true. Using a family of sub-implicative ideals of a BCI-algebra, we establish a fuzzy sub-implicative ideal, and using a level set of a fuzzy set in a BCI-algebra, we give a characterization of a fuzzy sub-implicative ideal.

• Communications of the Korean Mathematical Society
• /
• v.27 no.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.