On BL-Algebras and its Interval Counterpart
DOI:
https://doi.org/10.5540/tema.2019.020.02.241Keywords:
Fuzzy Logic, BL-Algebras, Intervals, Correctness Principle.Abstract
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.References
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.”
Downloads
Published
How to Cite
Issue
Section
License
Authors who publish in this journal agree to the following terms:
Authors retain copyright and grant the journal the right of first publication, with the work simultaneously licensed under the Creative Commons Attribution License that allows the sharing of the work with acknowledgment of authorship and initial publication in this journal.
Authors are authorized to assume additional contracts separately, for non-exclusive distribution of the version of the work published in this journal (eg, publish in an institutional repository or as a book chapter), with acknowledgment of authorship and initial publication in this journal.
Authors are allowed and encouraged to publish and distribute their work online (eg, in institutional repositories or on their personal page) at any point before or during the editorial process, as this can generate productive changes as well as increase impact and the citation of the published work (See The effect of open access).
This is an open access journal which means that all content is freely available without charge to the user or his/her institution. Users are allowed to read, download, copy, distribute, print, search, or link to the full texts of the articles, or use them for any other lawful purpose, without asking prior permission from the publisher or the
author. This is in accordance with the BOAI definition of open access
Intellectual Property
All the contents of this journal, except where otherwise noted, is licensed under a Creative Commons Attribution License under attribution BY.