Partial frames, their free frames and their congruence frames

Anneliese Schauerte, John Frith

The context of this work is that of partial frames; these are meet-semilattices where not all subsets need have joins. A selection function, S, specifies, for all meet-semilattices…