|Title||Equational characterization of the subverieties of BL generated by t-norm algebras|
|Publication Type||Journal Article|
|Year of Publication||2004|
|Authors||Esteva F, Godo L, Montagna F|
In this paper we show that the subvarieties of BL, the variety of BL-algebras, generated by single BL-chains on [0, 1], determined by continous t-norms, are finitely axiomatizable. An algorithm to check the subsethood relation between these subvarieties is provided, as well as another procedure to effectively find the equations of each subvariety. From a logical point of view, the latter corresponds to find the axiomatization of every residuated many-valued calculus defined by a continuous t-norm and its residuum. Actually, the paper proves the results for a more general class than t-norm BL-chains, the so-called regular BL-chains.
- About IIIA
- Current news
- 25th anniversary