Tomando como ponto de partida o cálculo de sequentes para a lógica ecumênica (LEci) desenvolvido e exposto por Elaine Pimentel, Luiz Carlos Pereira e Valéria de Paiva em artigo de 2019, apresentarei uma proposta de tablô para a lógica ecumênica proposicional clássico-intuicionista. Ao longo do seminário, apresentarei algumas das motivações que perpassam o desenvolvimento dessas lógicas, bem como as regras de expansão da árvore e os aspectos centrais de sua formalização em andamento na linguagem do assistente de provas Coq.
Nome
Renato Leme
Estado
Finished
Publicar em
Arbitrariness and Genericity
Data de Início