Logical Characterization of Filters on BL-algebras
In this paper, we review filter theory of BL-algebras from the logical point of view. We introduce the notion of deductive filter on a BL-algebra and give some types of deductive filters related to the classical, Godel. Lukasiewicz and Product logic. We also investigate [the relationship between the notion we introduce and some types of filters on BL-algebras already defined. Furthermore, we show that for any BL-algebra L.: and any product deductive filter F. the quotient algebra CV F is a product algebra, the corresponding result for Godel and Lukasiewicz algebras are already known.
bl-algebra deductive litter product filter