World Congress on Paraconsistency (2nd 2000 São Paulo, Brazil)