## 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 the identities defining a pointfree funcoid to the identities of an upper semilattice with least element. I will list the exact list of identities defining a […]

## Funcoid is a “Structure” in the Sense of Math Logic

A few seconds ago I realized that certain cases of pointfree funcoids can be described as a structure in the sense of mathematical logic, that is as a finite set of operations and relational symbols. Precisely, if a pointfree funcoid $latex f$ is defined on a lattice (or semilattice) with a least element $latex \bot$, […]

## A Book for Mathematicians and Programmers – Axiomatic Theory of Formulas

A new book for mathematicians and programmers published: Axiomatic Theory of Formulas or Algebraic Theory of Formulas. The book is an undergraduate level but contains a new theory. Get it: PAPERBACK E-BOOK From the preface: This new mathematical theory developed by the book author researches the properties of mathematical formulas (aka expressions). Naturally this theory […]