De Morgan Algebras - completeness and recursion
Louis Hirsch Kauffman · 1978
An elementary proof is given of a completeness theorem for De Morgan Algebras. The proof involves a construction that associates to a De Morgan algebra B, a new De Morgan algebra B. The construction of B bears a close analogy to the construction of the complex numbers from the real numbers. Similarly, De Morgan algebras may be constructed from Boolean algebras. Relationships with recursion and periodic sequences are discussed.