Algorithms and Computations in BL-Algebras

Algorithms and Computations in BL-Algebras

Celestin Lele (University of Dschang, Cameroon)
Copyright: © 2010 |Pages: 19
DOI: 10.4018/jalr.2010100103


In this paper, the authors study the notion of n-fold implicative and fuzzy n-fold implicative filters, which correspond to various sets of provable formulaes, in BL-algebras. Several characterizations of fuzzy n-fold implicative filters are given and the authors analyse some relationships with various n-fold and fuzzy n-fold filters in BL-algebras, while constructing some algorithms for studying the foldness of filters in BL-algebras. The authors describe the relation between fuzzy n-fold implicative filters and fuzzy (n+1)-fold implicative filters and establish the extension property for fuzzy n-fold implicative filters in BL-algebras.
Article Preview


A BL-algebra is a structure in which X is a non empty set with four binary operations and two constants 0 and 1 satisfying the following axioms:

  • BL-1 (X,∧,∨,0,1) is a bounded lattice;

  • BL-2 (X,∗,1) is an abelian monoid, i. e., ∗ is commutative and associative with x∗1=x;

  • BL-3 xyz iff (Residuation);

  • BL-4 (Divisibility);

  • BL-5 (Prelinearity).

Complete Article List

Search this Journal:
Open Access Articles: Forthcoming
Volume 9: 2 Issues (2019): Forthcoming, Available for Pre-Order
Volume 8: 2 Issues (2018): Forthcoming, Available for Pre-Order
Volume 7: 2 Issues (2017)
Volume 6: 2 Issues (2016)
Volume 5: 1 Issue (2015)
Volume 4: 1 Issue (2014)
Volume 3: 4 Issues (2012)
Volume 2: 4 Issues (2011)
Volume 1: 4 Issues (2010)
View Complete Journal Contents Listing