T hree-Valued Nonmono t onic Logic