TL-implicative filters in BL-algebras | IEEE Conference Publication | IEEE Xplore