Esta obra tem basicamente em mira duas metas - expor as ideias centrais de uma categoria de lógica paraconsistente, a saber, a lógica anotada e tratar de aplicações desta última em tomadas de decisão, particularmente em Engenharia de Produção.