Abstract:

By means of the characters that the basic logic algebra BL is matched with the fuzzy propositional logic system BL, the new logic algebraic structure called QBL-algebra has been established from the algebraizing of the axioms of  fuzzy propositional logic system BL. The equivalence between the QBL-algebras and the BLlogic algebras have been proved. Consequentely, the presentative the
orem of the BLlogic algebras has been given with two kinds of binary operations ,on a general set.

Key words: fuzzy logic, BL-algebra, BL-system, QBL-algebra, residuated lattice