• Communications of the Korean Mathematical Society
• /
• v.19 no.2
• /
• pp.219-232
• /
• 2004

We study relationships between closure operators and BL-algebras. We investigate the properties of closure operators and BL-homomorphisms on BL-algebras. We show that the image of a closure operator on a BL-algebra is isomorphic to a quotient BL-algebra.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.11 no.3
• /
• pp.286-291
• /
• 2001

We inverstigate the properties of BL-hommorphisms on BL-algebras. In particular, we find the BL-algebra in duced by lattice-isomorphism. From these facts, we obtain the generalized Lukasiewicz structure. More-over, we study the properties of quotient BL-algebras and deductive systems.

• Honam Mathematical Journal
• /
• v.44 no.2
• /
• pp.165-178
• /
• 2022

In this paper, Sheffer stroke BL-algebra and its properties are investigated. It is shown that a Cartesian product of two Sheffer stroke BL-algebras is a Sheffer stroke BL-algebra. After describing a filter of Sheffer stroke BL-algebra, a congruence relation on a Sheffer stroke BL-algebra is defined via its filter, and quotient of a Sheffer stroke BL-algebra is constructed via a congruence relation. Also, it is defined a homomorphism between Sheffer stroke BL-algebras and is presented its properties. Thus, it is stated that the class of Sheffer stroke BL-algebras forms a variety.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.13 no.3
• /
• pp.208-214
• /
• 2013

Bandler and Kohout investigated the solvability of fuzzy relation equations with inf-implication compositions in complete lattices. Perfilieva and Noskova investigated the solvability of fuzzy relation equations with inf-implication compositions in BL-algebras. In this paper, we investigate various solutions of fuzzy relation equations with inf-implication compositions in pseudo BL-algebras.

• Kyungpook Mathematical Journal
• /
• v.50 no.1
• /
• pp.123-129
• /
• 2010

Molodtsov introduced the concept of soft sets, which can be seen as a new mathematical tool for dealing with uncertainty. In this paper, we initiate the study of soft BL-algebras by using the soft set theory. The notion of filteristic soft BL-algebras is introduced and some related properties are investigated.

• Honam Mathematical Journal
• /
• v.44 no.1
• /
• pp.78-97
• /
• 2022

In this study, new properties of various filters on a Sheffer stroke BL-algebra are studied. Then some new results in filters of Sheffer stroke BL-algebras are given. Also, stabilizers of nonempty subsets of Sheffer stroke BL-algebras are defined and some properties are examined. Moreover, it is shown that the stabilizer of a filter with respect to a/n (ultra) filter of a Sheffer stroke BL-algebra is its (ultra) filter. It is proved that the stabilizer of the subset {0} of a Sheffer stroke BL-algebra is {1}. Finally, it is stated that the stabilizer St(P, Q) of P with respect to Q is an ultra filter of a Sheffer stroke BL-algebra when P is any filter and Q is an ultra filter of this algebra.

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

• Honam Mathematical Journal
• /
• v.28 no.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.

• Honam Mathematical Journal
• /
• v.29 no.3
• /
• pp.445-453
• /
• 2007

The notion of strong deductive system of a BL-algebra is introduced, and a characterization of a strong deductive system is given. A relation between a strong deductive system and a deductive system is given. It will be seen that every strong deductive system can be expressed as the union of special sets.

• Kyungpook Mathematical Journal
• /
• v.57 no.1
• /
• pp.85-97
• /
• 2017

The notions of regular uni-soft filters, uni-soft MV -filters and Boolean uni-soft filters are introduced, and related properties are investigated. Characterizations of regular uni-soft filters, uni-soft MV -filters and Boolean uni-soft filters are discussed.Relations between regular uni-soft filters and uni-soft MV -filters are considered. It is shown that the notion of a uni-soft MV -filter coincides with the notion of a regular uni-soft filter in BL-algebras.