CALL FOR PAPERS & TOPICS

The III World Congress on Paraconsistency welcomes contributions in all aspects of paraconsistent logic and paraconsistency, including (but not limited to) :

• theoretical foundations of paraconsistency

• proof theory of paraconsistent logics

• model theory of paraconsistent logics

• algebraic aspects of paraconsistent systems

• philosophical aspects of paraconsistency

• historical aspects of paraconsistency

• paraconsistency and computer science

• implementation techniques

• systems development and applications

::. SUBMISSION OF CONTRIBUTED PAPERS .::