|Title||Axiomatization of Any Residuated Fuzzy Logic Defined by a Continuous T-norm|
|Publication Type||Journal Article|
|Year of Publication||2003|
|Authors||Esteva F, Godo L, Montagna F|
|Journal||Fuzzy Sets and Sistems IFSA 2003. 10th International Fuzzy Systems Association World Congress|
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.
- About IIIA
- Current news