30/11/2001, Friday, 16:30–17:30 Room P3.10, Mathematics Building Paula Gouveia, Instituto Superior Técnico Natural deduction in paraconsistent logic