Fourth World Congress on Paraconsistency, 13–18 July. tr 2008, 2 (8).