Completions of BOOLEAN Algebras with ope
โ
J. Donald Monk
๐
Article
๐
1970
๐
John Wiley and Sons
๐
English
โ 401 KB
The notion of a BooLEan algebra with operators was introduced by J~NSSON and TARSKI [ 5 ] . It encompasses as special cases relation algebras (TARSKI [9]), closure algebras (MCKINSEY-TARSKI [S]), cylindric algebras (HENRIN-TARSKI [4]), polyadic algebras (HALMOS [Z]), and other algebras which have be