Raimundo Robledo Pontes Filho,  Marcelino Cavalcante Pequeno,  Robson Teixeira da Silva. 

A two-valued semantics for Reiter's default logic based on a rather simple notion of maximality is presented. Reiter's logic is sound with respect to this semantics and an extended version of it is complete. We adopt a new notation for a default rule introducing a new binary connective reading unless . A further modification on the logic precludes the derivation of anomalous extensions. We end up with a nonmonotonic logic in which defaults are treated as formulae, sound and complete with respect to a very natural semantics, and, which derives no anomalous extension. Clique no link abaixo para buscar o texto completo deste trabalho na Web: Buscar na Web Processando consulta.