Re: [Logica-l] ATPs (Automatic Theorem Provers) para Lógicas Não-Clássicas

Walter, e demais colegas: > Existem ATPs bacanas para Lógicas Não-Clássicas? Para a Logica > Intuicionista certamente existem, e sei (por trabalhar com tablôs, > dedução natural, axiomaticas hilbertianas, etc) que certamente se > podem adaptar Isabelle, Mizar, etc, para isso. Mas eu gostaria

Re: [Logica-l] ATPs (Automatic Theorem Provers) para Lógicas Não-Clássicas

Para aumentar um pouco a lista: - Existem montes de provadores para lógicas de descrição de expressividades variadas. Alguns estão na lista que a Valéria postou, mas os mais usados - HermiT e Pellet - não estão lá. Uma lista especifica para DLs e ontologias pode ser encontrada em http://owl.c

Re: [Logica-l] ATPs (Automatic Theorem Provers) para Lógicas Não-Clássicas

Car@s, Muitíssimo obrigado à Cláudia, Valéria, Renata e João Marcos pelos excelentes `reports'. Teria levado meses para chegar a isso, se chegasse! Aproveito meus agradecimentos para contar, no interesse da Lógica, porque isso me interessa. Xavier Caicedo provou em ''The subdirect decomposition

[Logica-l] ainda sobre generalizações de Birkhoff

2017-04-25 16:37 GMT+02:00 Walter Carnielli: > Xavier Caicedo provou em ''The subdirect decomposition theorem for > classes of structures closed under direct limits'' (J. Austral. Math. > Soc. Series 4, 30 (1980), 171-179) uma generalização de um teorema de > Birkhoff, mostrando que toda álgebra (

[Logica-l] Hubert Dreyfus (1930-2017)

outra perda recente: http://dailynous.com/2017/04/24/hubert-dreyfus-1930-2017/ " [it] eventually became Dreyfus’ influential 1972 book What Computers Can’t Do: A Critique of Artificial Reason. A twenty-year anniversary edition of the book was published in 1992 under the title What Computers Still

[Logica-l] Palestras super interessantes na UFRN semana que vem!!

Prezados colegas, Semana que vem teremos, dentro do nosso grupo de pesquisa Lolita e do nosso projeto CAPES AmSud, duas palestras super interessantes: dos Prof. Catuscia Palamidessi (INRIA Saclay) e Frank Valencia (CNRS). Ambas serão no anfiteatro A do CCET, 17h. A da Catuscia terça dia 2/05 e a

[Logica-l] CFP - 3rd FILOMENA Workshop (Quick reminder)

Olá, Passando aqui para lembrar que o deadline do FILOMENA se encerra nessa sexta dia 28. Mais informações podem ser encontradas no site . Agradecemos desde já a ampla divulgação. Call for papers: 3rd Workshop on Philosophy, Logic and Analytical Metaphysics Au

Re: [Logica-l] ainda sobre generalizações de Birkhoff

Walter, JM e demais. Sobre provas geradas automaticamente, em especial para o caso da 4-coloração, avento a possibilidade de que uma prova automaticamente gerada (e verificada) possa term MAIS CASOS que a atualmente conhecida. Aliás, isso seria o esperado. Se é fácil gerar e verificar casos, é p

Re: [Logica-l] ATPs (Automatic Theorem Provers) para Lógicas Não-Clássicas

2017-04-26 2:55 GMT+02:00 Marcelo Finger : > > Sobre provas geradas automaticamente, em especial para o caso da > 4-coloração, avento a possibilidade de que uma prova automaticamente > gerada (e verificada) possa term MAIS CASOS que a atualmente > conhecida. > > Aliás, isso seria o esperado. Se é