Every Pointfree Funcoid on a Semilattice is an Algebraic Structure

Continuing this blog post: The set of all pointfree funcoids on upper semilattices with least elements is exactly a certain algebraic structure defined by propositional formulas. Really just add th…