Logic List Mailing Archive

III World Congress on Paraconsistency, Toulouse, France, July 2003

III World Congress on Paraconsistency - WCP3 
IRIT, Toulouse, France
July 28-31, 2003 

http://www.irit.fr/wcp3/


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