Expansions of dually pseudocomplemented Heyting algebras
scientific article; zbMATH DE number 6807536
scientific article