Logicas da inconsistencia formal quantificadas