II World Congress on Paraconsistency

Versão para impressãoVersão para impressão
WCP 2000

2000 WCP2000

II World Congress on Paraconsistency - May 08-12, 2000

TOPICS

The conference welcomes contributions in all aspects of paraconsistent logic and paraconsistency, including theoretical foundations, proof theory, model theory, algebraic aspects, historical and philosophical aspects, implementation techniques, systems development and applications.