Ana Teresa Martins apresentando a palestra A Proof Theory for the Paraconsistent Logic of Epistemic Inconsistency no auditório do IMECC Adicionar a área de transferência