Álgebra poládica - Polyadic algebra

Álgebras poliádicas (mais recentemente chamadas de álgebras de Halmos ) são estruturas algébricas introduzidas por Paul Halmos . Eles estão relacionados à lógica de primeira ordem de uma forma análoga à relação entre álgebras booleanas e lógica proposicional (ver álgebra de Lindenbaum-Tarski ).

Existem outras maneiras de relacionar a lógica de primeira ordem à álgebra, incluindo as álgebras cilíndricas de Tarski (quando a igualdade faz parte da lógica) e a semântica funcional de Lawvere (uma abordagem categórica ).

Referências

Leitura adicional