19/01/2000, Wednesday, 16:30–17:30 Amphitheatre of Interdisciplinary Complex at the University of Lisbon Ana Teresa Martins, Universidade Federal do Ceará Semantics for paraconsistent default logic