zbMATH — the first resource for mathematics

Axiomatization of any residuated fuzzy logic defined by a continuous t-norm. (English) Zbl 1037.03023
Bilgiç, Taner (ed.) et al., Fuzzy sets and systems — IFSA 2003. 10th international Fuzzy Systems Association world congress, Istanbul, Turkey, June 30 – July 2, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40383-3/pbk). Lect. Notes Comput. Sci. 2715, 172-179 (2003).
Summary: In this paper we axiomatize the subvarieties of the variety of BL-algebras generated by single BL-chains on \([0, 1]\). From a logical point of view, this corresponds to find the axiomatization of every residuated many-valued calculus defined by a continuous t-norm and its residuum.
For the entire collection see [Zbl 1029.00022].

03B52 Fuzzy logic; logic of vagueness
03G25 Other algebras related to logic
Full Text: Link