Pseudocomplements of closure operators on posets (Q1598820)

The author gives some new results of pseudocomplementation in the more general setting of closure operators on mere posets. He proves that if \(P\) is a meet-continuous meet-semilattice, then \(\text{uco}(P)\) is a pseudocoplemented complete lattice. Further he proves the complementary result: Closure operators on a directed-complete poset which is transfinitely generated by maximal lower bounds from its set of completely meet-irreducible elements, form a pseudocoplemented complete lattice.