On the Way to a wider Model Theory: Completeness theorems for First-order Logics of Formal Inconsistency. - Walter Alexandre Carnielli; Marcelo E. Coniglio; Rodrigo Podiacki; Tarcísio Rodrigues (Rev. Symb. Log., 2014)