03G15 - Mathematical logic and foundations :: Algebraic logic :: Cylindric and polyadic algebras; relation algebras