Adventures in the Paraconsistent Jungle

This is a survey of the main contributions of the author to the field of paraconsistent logic. After a brief introduction explaining how the author entered this field, Section 2 describes his work on C-systems: reformula-tion of the semantics of C1, creation of a sequent systems for C1, proof of cut-elimintaion for this system, extension of C1 into a stronger logic C1+. Section 3 is about his investigations on the definition of paraconsistent logic and a general theory of negation. Section 4 relates what he consid-ers as its main contribution: the discovering that classical first-order logic and the modal logic S5 are paraconsistent logics and how this led him to a new theory of opposition, where a polyhedron replaces the traditional square of opposition. In Section 5 he explains that he conceives the philo-sophical aspects of paraconsistency mainly in relation with applications and he says a word of what kind of situation paraconsitent logic may apply to. Section 6 describes his work as paraconsistent promoter, editor, trans