Las álgebras poliádicas (más recientemente llamadas álgebras de Halmos [1] ) son estructuras algebraicas introducidas por Paul Halmos . Están relacionadas con la lógica de primer orden de manera análoga a la relación entre las álgebras de Boole y la lógica proposicional (véase Á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 funcional de Lawvere (un enfoque categórico ). [2]