Implication BL-algebras

Abstract

In this paper, we first introduce the notion of implication filters in BL-algebras and then state and prove some theorems which determine the relationships of these filters and other filters in BL-algebras. We also introduce the notion of implication BL-algebras and investigate its properties, as well as the relationship of implication BL-algebras and other algebraic structures.