Publications

Export 791 results:
Author Title Type [ Year(Desc)]
2000
Batens, Diderik, Chris Mortensen, Graham Priest, and Jean Paul Van Bendegem. 2000. Frontiers of Paraconsistent Logic Frontiers Of Paraconsistent Logic. Baldock, UK: Research Studies Press.
Van Bendegem, Jean Paul. 2000. Human(Istisch)E Wiskunde Of De Mogelijkheid Van Een Alternatieve Wiskunde.. De toekomst van het heden : zijn we op weg naar een menselijker samenleving?: 127–140.
Vermeir, Timothy. 2000. Inconsistency-Adaptive Arithmetic. Logique et Analyse 42: 221-241.
Batens, Diderik, and Joke Meheus. 2000. A Tableau Method For Inconsistency-Adaptive Logics Roy Dyckhoff. Automated Reasoning with Analytic Tableaux and Related Methods 1847: 127–142.
2001
Meheus, Joke. 2001. Adaptive Logics For Question Evocation. Logique et Analyse 44: 135–164.
Carnielli, Walter A, and João Marcos. 2001. Ex Contradictione Non Sequitur Quodlibet. In Proceedings of the 2000 Advanced Reasoning Forum Conference, Proceedings of the 2000 Advanced Reasoning Forum Conference,.
Caleiro, Carlos, and João Marcos. 2001. Non-Truth-Functional Fibred Semantics Hamid R Arabnia. Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001) 2: 841–847.

Pages