Estimado Professor João Marcos, muito grato pela resposta O trabalho do Zalta era precisamente algo que eu tinha em mente.
Muito obrigado pela sugestão do Lean; parece bem poderoso. Creio que não vou encontrar interface mais user friendly. Achei por acaso o seguinte recurso para lógica proposicional que parece bem handy: http://logik.phl.univie.ac.at/~chris/gateway/formular-uk-zentral.html Um forte abraço. 2017-07-19 15:44 GMT-03:00 Joao Marcos <botoc...@gmail.com>: > Salve, Manuel: > > No site do laboratório de Metafísica Computacional de Stanford eles > contam sua experiência com uma variedade de sistemas, talvez isto lhe > ajude na sua busca: > https://mally.stanford.edu/cm/ > > Se você tiver interesse em um sistema mais amigável, e que pode ser > rodado na web, valerá talvez à pena dar uma conferida no Lean, > desenvolvido pelo Leonardo de Moura (provavelmente o mais citado > pesquisador brasileiro da área de Lógica): > https://leanprover.github.io/introduction_to_lean/ > > Abraços, Joao Marcos > > 2017-07-19 20:26 GMT+02:00 Manuel Doria <manueldo...@gmail.com>: > > Prezados, eu gostaria de uma recomendação de um ATP baseado em lógica de > > primeira ordem que fosse mais adequado para alguém com interesse > principal > > em formalização de argumentos filosóficos. > > > > Um forte abraço. > > > > -- > > Você recebeu essa mensagem porque está inscrito 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 postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br. > > Acesse esse grupo em > > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. > > Para ver essa discussão na Web, acesse > > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/ > CAD7xiBM8dwjujC9eouxHKCUUfOsgaetitwCrqBk5j6OwJf1JiA%40mail.gmail.com. > > > > -- > http://sequiturquodlibet.googlepages.com/ > > -- > 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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. > Visite este grupo em https://groups.google.com/a/ > dimap.ufrn.br/group/logica-l/. > Para ver esta discussão na web, acesse https://groups.google.com/a/ > dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lik1Oh-jwcUO8gwXD- > uMOvMSGw_Kn7tNc4L-5S-kTgRrg%40mail.gmail.com. > -- 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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAD7xiBNFU1jjYYbgwmuhDMceOduT06vwUsYjgBU8HGZ2%3DYEt2w%40mail.gmail.com.
