Filters and annihilators in implication algebras
Filters of -algebras.
Finitely axiomatizable varieties of BCK-algebras.
Finite-valued dually residuated lattice-ordered monoids
Folding theory applied to BL-algebras
The notion of n-fold grisly deductive systems is introduced. Some conditions for a deductive system to be an n-fold grisly deductive system are provided. Extension property for n-fold grisly deductive system is established.
Foldness of Commutative Ideals in BCK-algebras
This paper deals with some properties of n-fold commutative ideals and n-fold weak commutative ideals in BCK-algebras. Afterwards, we construct some algorithms for studying foldness theory of commutative ideals in BCK-algebras.
Fuzzy multiply positive implicative hyper BCK-ideals of hyper BCK-algebras.
Fuzzy n-fold integral filters in BL-algebras
In this paper, we introduce the notion of fuzzy n-fold integral filter in BL-algebras and we state and prove several properties of fuzzy n-fold integral filters. Using a level subset of a fuzzy set in a BL-algebra, we give a characterization of fuzzy n-fold integral filters. Also, we prove that the homomorphic image and preimage of fuzzy n-fold integral filters are also fuzzy n-fold integral filters. Finally, we study the relationship among fuzzy n-fold obstinate filters, fuzzy n-fold integral filters...