Uma abordagem open-source para traduções em lógica

Neste seminário, abordarei o tema da tradução entre lógicas desde a perspectiva do desenvolvimento de software. Isso em vista, apresentarei algumas das principais características do GNU/Bison, software de código aberto voltado para a criação de compiladores, através de três projetos: (i) o primeiro voltado para a tradução de sentenças da linguagem proposicional em juízos da linguagem da Conceitografia de Frege, (ii) o segundo, voltado ao cálculo de tablôs e (iii) o terceiro, por fim, dedicado a busca e checagem de contra-modelos intuicionistas para tautologias clássicas. Ao longo desta exposição, pretendo ilustrar como tais ferramentas podem ser úteis na pesquisa em lógica.