A system of logic where the value expressed is either true or false, and which is often used to determine flow control in programming languages. This is named after George Boole (1815–1864), a mathematician who was a key contributor to the fields of logic and algebra.
In Verse, this is the type used to represent true and false is logic. This Boolean logic is carried out through failable expressions in failure contexts.