Logics of formal inconsistency