Sponsor
IRIT (Institut de Recherche en Informatique de Toulouse)
co-sponsors
Centre for Logic, Epistemology and History of Science
Stanford University

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

 

 

 

 

[Home] [Purpose] [Call for Papers] [Committees] [Previous Events] [Travel] [Registration] [Proceedings] [Related Links] [Sponsors] [Contact]