También desarrolló junto a sus discípulos las álgebras cilíndricas, que son a la lógica de primer orden lo que el álgebra booleana a la lógica proposicional.