Category: Ockham algebras

Łukasiewicz–Moisil algebra
Łukasiewicz–Moisil algebras (LMn algebras) were introduced in the 1940s by Grigore Moisil (initially under the name of Łukasiewicz algebras) in the hope of giving algebraic semantics for the n-valued
De Morgan algebra
In mathematics, a De Morgan algebra (named after Augustus De Morgan, a British mathematician and logician) is a structure A = (A, ∨, ∧, 0, 1, ¬) such that: * (A, ∨, ∧, 0, 1) is a bounded distributive
Stone algebra
In mathematics, a Stone algebra, or Stone lattice, is a pseudo-complemented distributive lattice such that a* ∨ a** = 1. They were introduced by and named after Marshall Harvey Stone. Boolean algebras
Ockham algebra
In mathematics, an Ockham algebra is a bounded distributive lattice with a dual endomorphism, that is, an operation ~ satisfying ~(x ∧ y) = ~x ∨ ~y, ~(x ∨ y) = ~x ∧ ~y, ~0 = 1, ~1 = 0. They were intro
Boolean algebra (structure)
In abstract algebra, a Boolean algebra or Boolean lattice is a complemented distributive lattice. This type of algebraic structure captures essential properties of both set operations and logic operat