On the lattice of deductive systems of a BL-algebra

From MaRDI portal
Publication:1407188