Publications

Axiomatization of Any Residuated Fuzzy Logic Defined by a Continuous T-norm

Publication Type:

Journal Article

Authors:

Francesc Esteva; Lluís Godo; Franco Montagna

Source:

Fuzzy Sets and Sistems IFSA 2003. 10th International Fuzzy Systems Association World Congress, Volume LNAI 2715, p.172-179 (2003)

Abstract:

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 residdum.

Projects: 
LOGFAC
»