About Book
An Ockbam algebra is a bounded distributive lattice with a dual endomorphism, the nomenclature being chosen since the notion of de Morgan negation has been attributed to the logician William of Ockham (cI290-c1349). The class of such algebras is vast, containing in particular the well-known classes of bolean algebras, de Morgan algebras, Kleene algebras, and Stone algebras. Pioneering work by Berman in 1977 has shown the importance of Ockham algebras in general, and has since stimulated much research in this area, notably by Urquhart, Goldberg, Adams, Priestley, and Davey. Here our objective is to provide a reasonably self-contained and readable account of some of this research. Our collaboration began in 1982 in the consideration of a common abstraction of de Morgan algebras and Stone algebras which we called MS-algebras.
Add Comment