Olá a todos, Gostaria de saber se alguém de vocês conhece algum procedimento efetivo para traduzir fórmulas da lógica de primeira ordem com um número qualquer de predicados de qualquer aridade para fórmulas da lógica de primeira ordem com apenas um predicado binário.
Há um paper de Kalmar que trata desse assunto (Zurückführung des Entscheidungsproblems auf den Fall von Formeln mit einer einzigen, binären, Funktionsvariablen), mas ele é de 1937, e gostaria de saber se há algo mais recente. Agradeço desde já, Anderson -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/2ee173b0-47cf-48a2-94fd-acba527f7961%40dimap.ufrn.br.
