[Logica-l] Concurso na Universidade Federal do ABC (Santo André - SP )

Estão abertas as inscrições para concurso docente na Universidade Federal do ABC (Santo André - SP), com 6 vagas na área de Filosofia, categoria Professor Adjunto I, no Centro de Ciências Naturais e Humanas, com as seguintes sub-áreas: Filosofia da Ciência - 2 vagas Epistemologia - 1 vaga Lógica

[Logica-l] Concurso - prof. substituto - logica

Concurso para prof. substituto de filosofia - subarea logica. Universidade Federal de Sao Joao Del-Rei, Campus Alto Paraopeba, Ouro Branco, MG Inscricoes 12 e 13 de março de 2009 Edital: http://www.ufsj.edu.br/portal-repositorio/File/diapa/CPD0302009SUBSTFILCAAP.pdf

[Logica-l] Provador de Teoremas para C1, lógic a paraconsistente de Newton da Costa

Olá, Alguém conhece algum provador de teoremas (que esteja disponível na internet) para C1 (lógica paraconsistente do professor Newton da Costa)? Grato, Adolfo == Adolfo Neto Departamento Acadêmico de Informática Universidade Tecnológica Federal do Paraná

Re: [Logica-l] Provador de Teoremas para C1, lógic a paraconsistente de Newton da Costa

Oi Arthur, Obrigado. O link direto é http://wwwexe.inf.ufsc.br/~arthur/index.php?page=publicacoes/dissertacaolang=pt, certo? Dei uma olhada. O código está em LISP, no apêndice, e é para C_1*, que estende C_1. Você teria este código já pronto para ser executado (isto, como arquivos texto)? Grato