Re: [Logica-l] Regras para a igualdade em Deducao Natural

Oi, Eduardo, Eu nao sou expert em deducao natural, mas me parece que a prova e' essa: Pabb'|-Qabb'  b=b' - Pabb'|-Qabb             |-Pabb  b=b' -            --- |-Pabb' => Qabb       |-Pabb' - |-Qabb Abraco,

[Logica-l] Tecnologia da Informação, Crescim ento Exponencial e Singularidade

Pode interessar aos colegas da lista de Lógica: - Saiu publicado na última 3a.feira (15/06, 15:11hs) no portal *Investimentos e Notícias* (São Paulo), assim como no *Blog de Jamildo* (*Jornal do Commercio* Online, Recife): " Tecnologia da Informação, Crescimento Exponencial e a Singularidade<

[Logica-l] CFP - WoLLIC 2011, May 18-21, Philadelphia

(favor divulgar; desculpas pelas eventuais duplicações) *WoLLIC 2011 18th Workshop on Logic, Language, Information and Computation * *May 18th to 21st, 2011 * *University of Pennsylvania Philadelphia, USA* *Scientific Sponsorship* *Interest Group in Pure and Applied Logics (IGPL

Re: [Logica-l] Regras para a igualdade em Deducao Natural

Caros Eliane, Eduardo, e demais colegas, Uma teoria da prova para a igualdade pode ser formulada de forma mais "natural" quando termos e símbolos de função são "cidadãos de primeira classe", o que não ocorre com a Dedução Natural de Prawitz, tampouco com o Cálculo de Seqüentes de Gentzen. A interp

Re: [Logica-l] Regras para a igualdade em Deducao Natural

oi Elaine e Eduardo, eu tinha comecado a escrever pra dizer que a pessoa indicada pra responder era o Ruy, quando notei que ele ja tinha escrito..oba, e' bom quando listas funcionam.. mas tb fiquei pensando que a pergunta do Eduardo leva pra dois lados meio diferentes que nao sei se os papers que