Equational characterization of the subvarieties of BL generated by t-norm algebras

From Mathfuzzlog
Jump to: navigation, search
Authors:
Francesc Esteva
Lluís Godo
Franco Montagna
Title: Equational characterization of the subvarieties of BL generated by t-norm algebras
Journal: Studia Logica
Volume 76
Number 2
Pages: 161-200
Year: 2004




Abstract

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.