Presented at the Second World Congress on Paraconsistency held in Juquehy-Sao Sebastiao, Sao Paulo, Brazil, this title represents an integrated discussion of various major topics in the area of paraconsistent logic. It highlights philosophical and historical aspects, major developments and real-world applications.

Presented at the Second World Congress on Paraconsistency held in Juquehy-Sao Sebastiao, Sao Paulo, Brazil, this title represents an integrated discussion of all major topics in the area of paraconsistent logic. It highlights philosophical and historical aspects, major developments and real-world applications.

A taxonomy of C-systems
paraconsistent classical logic
the logic of opposition
categorical consequence for paraconsistent logic
ontological causes of inconsistency
and a change-adaptive, logical solution
an adaptive logic for pragmatic truth
amultiple worlds semantics for a paraconsistent nonmonotonic logic
an inductive annotated logic
on NCG - a paraconsistent sequent calculus
A, still adorable
fuzzy relevant logic
on some remarkable relations between
paraconsistent logics, modal logicsand ambiguity logics
the dialogical dynamics of adaptive paraconsistency
an inconsistency-adaptive proof procedure for logic programming
referential and inferential many-valuedness.