BL-algebras [Hajek] rise as Lindenbaum algebras from certain logical axioms familiar in fuzzy logic framework. BL-algebras are studied by means of deductive systems and co-annihilators. Duals of many theorems known to hold in MV-algebra theory remain valid for BL-algebras, too.
@article{urn:eudml:doc:39141, title = {BL-algebras of basic fuzzy logic.}, journal = {Mathware and Soft Computing}, volume = {6}, year = {1999}, pages = {49-61}, zbl = {0962.03020}, mrnumber = {MR1724318}, language = {en}, url = {http://dml.mathdoc.fr/item/urn:eudml:doc:39141} }
Turunen, Esko. BL-algebras of basic fuzzy logic.. Mathware and Soft Computing, Tome 6 (1999) pp. 49-61. http://gdmltest.u-ga.fr/item/urn:eudml:doc:39141/