Á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
- Paul Halmos , Algebraic Logic , Chelsea Publishing , Nova York (1962)
Este artigo relacionado à lógica matemática é um esboço . Você pode ajudar a Wikipedia expandindo-a . |