On filters of implicative semilattices
scientific article; zbMATH DE number 1867054