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 de una manera 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 functorial de Lawvere (un enfoque categórico ). [2]
Referencias
- ↑ a b Michiel Hazewinkel (2000). Manual de álgebra . 2 . Elsevier. págs. 87–89. ISBN 978-0-444-50396-1.
- ^ Jon Barwise (1989). Manual de lógica matemática . Elsevier. pag. 293. ISBN 978-0-444-86388-1.
Otras lecturas
- Paul Halmos , Lógica algebraica , Chelsea Publishing , Nueva York (1962)