with Carnielli, W. , 2000, 'The dialogical approach to paraconsistency', Synthese 125 (1-2), 201-232.