Las álgebras poliádicas (más recientemente llamadas álgebras de Halmos [1] ) son estructuras algebraicas introducidas por Paul Halmos . Están relacionados con la lógica de primer orden análoga a la relación entre las álgebras de Boole y la lógica proposicional (ver álgebra de Lindenbaum-Tarski ).
Hay otras formas de relacionar la lógica de primer orden con el álgebra, incluidas las álgebras cilíndricas de Tarski [1] (cuando la igualdad es parte de la lógica) y la semántica funtorial de Lawvere (un enfoque categórico ). [2]