Cylindric and polyadic algebras Algebraic logic mathematics