Obrigado Marcelo. Eu não sei se captei o seu ponto.
Você está me dizendo que eu posso definir uma equivalência entre demonstrações apenas com a monotonicidade? É isso? Eu não havia pensado nisso, mas parece razoável, pois significaria remover as hipóteses não utilizadas e chegar a mesma conclusão, o que livraria o apelo a Curry-Howard. É isso? Regivan -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- 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/9D96C6DD-9EE4-437C-BAAC-A636384D3F1E%40gmail.com.
