blog.mathematics21.org
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…