 In a system in which (EFQ) holds, any true contradiction would entail every sentence of the formal language, thus rendering the language and theory trivial. So, clearly, any logic for dialetheism would have to be paraconsistent. See the entry on  dialetheism.  The classic work here is Priest [2006a].