On the lattice of deductive systems of a BL-algebra
Dumitru Bu§neag, Dana Piciu · Open Mathematics · 2003
For a BL-algebra A we denote by Ds(A) the lattice of all deductive systems of A . The aim of this paper is to put in evidence new characterizations for the meet-irreducible elements on Ds(A) . Hyperarchimedean BL-algebras, too, are characterized.