Definition, synonyms and related words
A generalization of a De Morgan algebra that defines a boolean algebra using only implication and a constant.