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 proposici
Prezados,
Repassando informação que acabei de receber de minha Pró-Reitoria.
O Instituto Serrapilheira é da família Salles. João Moreira Salles (cineasta,
documentarista) se aproximou bastante do IMPA
nos últimos anos devido às inúmeras reportagens sobre o Artur Ávila (medalha
Fields 2014) q
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á tal
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ê está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos
Pessoal,
àqueles que estão por perto de Campinas, reitero o convite para virem ao
evento que está acontecendo hoje aqui no CLE (com programação nos dias 19,
20 e 21).
O livro de resumos está disponível no link:
https://sites.google.com/site/rafaeltesta/Home/technical-activities/events/2nd-cle4scie
-- Forwarded message --
From: Oleg Prosorov
Date: Wed, Jul 19, 2017 at 2:17 AM
Subject: Grigori Mints' memorial issue of the IfCoLog Journal
To: valeria.depa...@gmail.com, harley.ea...@gmail.com
Dear colleagues,
I am glad to inform you that the IfColog Journal Vol.4, No.4
is pub
Acabou de ser publicado na Logica Universalis o artigo
Sequent Systems for Negative Modalities
Ori Lahav, João Marcos, Yoni Zohar
https://link.springer.com/journal/11787/onlineFirst/page/1
Jean-Yves Beziau
Editor-in-Chief
Logica Universalis
Comemorando 10 anos
http://www.logica-universalis.org/
-
-- Forwarded message --
Dear Friends and Colleagues,
The last installment of AsubL took place in Melbourne in December
2014: http://asubl5.ltumathstats.com.
AsubL Take 6 will take place in Cagliari, from the 11th to the 13th of
June, 2018, as a workshop in the framework of SYSMIC
-- Forwarded message --
CHAMADA DE TRABALHOS
Escola de Informática Teórica e Métodos Formais (ETMF 2017)
Recife, PE, Brasil
27 e 28 de Novembro de 2017
Evento Satélite do Simpósio Brasileiro de Métodos Formais (SBMF)
http://sbmf2017.cin.ufpe.br/
DATAS IMPORTANTES
Deadline para
