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

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

• Honam Mathematical Journal
• /
• v.46 no.1
• /
• pp.82-100
• /
• 2024

The main objective of the study is to introduce ideals of Sheffer stroke Hilbert algebras by means of fuzzy points, and investigate some properties. The process of making (fuzzy) ideals and fuzzy deductive systems through the fuzzy points of Sheffer stroke Hilbert algebras is illustrated, and the (fuzzy) ideals and the fuzzy deductive systems are characterized. Certain sets are defined by virtue of a fuzzy set, and the conditions under which these sets can be ideals are revealed. The union and intersection of two fuzzy ideals are analyzed, and the relationships between aforementioned structures of Sheffer stroke Hilbert algebras are built.