The last decades have witnessed an increasing interest in paraconsistent logics, viz. logics that, as opposed to classical or intuitionistic logic, enable one to sensibly handle inconsistent theories.
The poster includes the above illustration showing a color version of my paper on paraconsistent attitudes at the Scandinavian Conference on Artificial Intelligence (SCAI 2001).
I have published internationally on the foundations and applications of paraconsistency for years and co-edited the proceedings of Paraconsistent Computational Logic (PCL 2002).
A revision of my paper at the World Congress of Paraconsistency (WCP 2003) appeared in the Journal of Applied Non-Classical Logics (JANCL 15:45-58 2005):
Supra-Logic: Using Transfinite Type Theory with Type Variables for Paraconsistency.
Please contact me for further information.
Jørgen Villadsen 2009-01-01 imm.dtu.dk/~jv/poster