A simple algebra of first order logic. (English) Zbl 0245.02053
Notre Dame J. Formal Logic 14, 361-366 (1973).
MSC:
03G15 | Cylindric and polyadic algebras; relation algebras |