On BL-Algebras and its Interval Counterpart

Rui Paiva, Regivan Santiago, Benjamín Bedregal


Interval Fuzzy Logic and Interval-valued Fuzzy Sets have been widely investigated. Some Fuzzy Logics were algebraically modelled by Peter Hájek as BL-algebras. What is the algebraic counterpart for the interval setting? It is known from literature that there is a incompatibility between some algebraic structures and its interval counterpart. This paper shows that such incompatibility is also present in the level of BL-algebras. Here we show both: (1) the impossiblity of match imprecision and the correctness of the underlying BLimplication and (2) some facts about the intervalization of BL-algebras.


Fuzzy Logic, BL-Algebras, Intervals, Correctness Principle.

Full Text:



T. Hickey, Q. Ju, and M. H. Van Emden, “Interval arithmetic: From principles to implementation,”

J. ACM, vol. 48, pp. 1038–1068, Sept. 2001.

R. H. N. Santiago, B. R. C. Bedregal, and B. M. Acióly, “Formal aspects of correctness

and optimality of interval computations,” Formal Aspects of Computing, vol. 18, no. 2,

pp. 231–243, 2006.

P. Hajek, Metamathematics of Fuzzy Logic. Kluwer Academic Publishers, 1998.

A. Di Nola, S. Sessa, F. Esteva, L. Godo, and P. Garcia, “The variety generated by

perfect BL-algebras: an algebraic approach in a fuzzy logic setting,” Annals of Mathematics

and Artificial Intelligence, vol. 35, no. 1, pp. 197–214, 2002.

A. Di Nola and L. Leu¸stean, “Compact representations of BL-algebras,” Archive for

Mathematical Logic, vol. 42, no. 8, pp. 737–761, 2003.

H. Bustince, “Interval-valued fuzzy sets in soft computing,” International Journal of

Computational Intelligence Systems, vol. 3, no. 2, pp. 215–222, 2010.

R. B. Kearfott and V. Kreinovich, eds., Applications of Interval Computations: An

Introduction, pp. 1–22. Boston, MA: Springer US, 1996.

R. E. Moore and F. Bierbaum, Methods and Applications of Interval Analysis (SIAM

Studies in Applied and Numerical Mathematics) (Siam Studies in Applied Mathematics,

). Soc for Industrial & Applied Math, 1979.

B. V. Gasse, C. Cornelis, and G. Deschrijver, “Interval-valued algebras and fuzzy logics.”

DOI: https://doi.org/10.5540/tema.2019.020.02.241

Article Metrics

Metrics Loading ...

Metrics powered by PLOS ALM


  • There are currently no refbacks.

Trends in Computational and Applied Mathematics

A publication of the Brazilian Society of Applied and Computational Mathematics (SBMAC)


Indexed in:



Desenvolvido por:

Logomarca da Lepidus Tecnologia