stringtranslate.com

Álgebra poliádica

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]

Referencias

  1. ^ ab Michiel Hazewinkel (2000). Manual de álgebra. vol. 2. Elsevier. págs. 87–89. ISBN 978-0-444-50396-1.
  2. ^ Jon Barwise (1989). Manual de lógica matemática. Elsevier. pág. 293. ISBN 978-0-444-86388-1.

Lectura adicional