T-FUZZY CONGRUENCES AND T-FUZZY FILTERS OF A BL-ALGEBRA

In this note, we introduce the concept of a fuzzy filter of a BLalgebra,with respect to a t-norm briefly, T-fuzzy filters, and give some relatedresults. In particular, we prove Representation Theorem in BL-algebras. Thenwe generalize the notion of a fuzzy congruence (in a BL-algebra) was definedby Lianzhen et al. to a new fuzzy congruence, specially with respect to a tnorm.We prove that there is a correspondence bijection between the set of allT-fuzzy filters of a BL-algebra and the set of all T-fuzzy congruences in thatBL-algebra. Next, we show how T-fuzzy filters induce T-fuzzy congruences,and construct a new BL-algebras, called quotient BL-algebras, and give somehomomorphism theorems.