Publications

Export 145 results:
Author Title Type [ Year(Asc)]
Filters: Author is Batens, Diderik  [Clear All Filters]
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.
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.

Pages