BL-algebras of basic fuzzy logic
Erja Turunen · RACO (Revistes Catalanes amb Accés Obert) (Consorci de Serveis Universitaris de Catalunya) · 1999
BL-algebras [7] 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.