Ana Teresa Martins apresentando a palestra A Proof Theory for the Paraconsistent Logic of Epistemic Inconsistency no auditório do IMECC Add to clipboard
Andrea Loparic apresentando a palestra Valuations for Propositional Calculi with Intuitionistic Implication no auditório do IMECC Add to clipboard