Logicas Nao-Monotonicas - Pequeno, Marcelino Cavalcante (1985)