Lattice implication homomorphism in implication filter spaces
scientific article; zbMATH DE number 1598730