Publications
“Pushing The Search Paths In The Proofs. A Study In Proof Heuristics”. Logique et Analyse 44: 113–134.
. 2001. “Inferentie” Standaard Encyclopedie voor Opvoeding en Onderwijs: 382–383.
. 1977. “Relevant Derivability And Classical Derivability In Fitch-Style And Axiomatic Formulations Of Relevant Logics”. Logique et Analyse 28: 21–31.
. 1985. “The Consistency Of Peano Arithmetic. A Defeasible Perspective” . Modestly Radical or Radically Modest. Festschrift for Jean Paul Van Bendegem on the Occasion of His 60th Birthday: 11–59.
. 2014. “Waar Stoppen?”. Algemeen Nederlands Tijdschrift voor Wijsbegeerte 102: 196–198.
. 2010. “De Inconsistentie-Adaptieve Logica Ddl” . Aktueel Filosoferen: 39–45.
. 1993. “Rich Relevant Logics Based On A Simple Type Of Semantics”. Logique et Analyse 29: 437–457.
. 1986. “Over De Kloof Tussen Feit En Norm, Bekeken Vanuit De Hedendaagse Wetenschapsfilosofie” . Dwarsdenken. Omtrent Jaap Kruithof: 165–177.
. 1989. “Over Het (Vermeende) Conflict Tussen Godsgeloof En De Wetenschappen”. Mores 42: 401–415.
. 1997. “Paradoxen In De Vrijmetselarij En De Relatie Met Waarden” . Kappen aan de ruwe steen: 319–336.
. 2017. “Some Objections To Keith Lehrer's Rule Ir”. The British Journal for the Philosophy of Science 22: 357–362.
. 1971. “Towards A Dialogic Interpretation Of Dynamic Proofs” . Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman: 27–51.
. 2009. “Towards The Unification Of Inconsistency Handling Mechanisms”. Logic and Logical Philosophy 8: 5–31.
. 2000. “A Completeness-Proof Method For Extensions Of The Implicational Fragment Of The Propositional Calculus”. Notre Dame Journal of Formal Logic 21: 509–517.
. 1980. “A Diagrammatic Proof Search Procedure As Part Of A Formal Approach To Problem Solving” . Model Based Reasoning in Science and Engineering. Cognitive Science, Epistemology, Logic: 265–284.
. 2006. “Adaptieve Logica's. Een Precieze Benadering Van Vertrouwde Maar Door Logici Verwaarloosde Redeneervormen”. Algemeen Nederlands Tijdschrift voor Wijsbegeerte 95: 174–189.
. 2003. Frontiers Of Paraconsistent Logic. Baldock, UK: Research Studies Press.
. 2000. Frontiers of Paraconsistent Logic “Wetenschap En Vrijzinnige Waarden”. De specificiteit van Vrijzinnig Humanistische Waarden: 1–14.
. 1986. “Natural Heuristics For Proof Construction. Part I: Classical Propositional Logic”. Logique et Analyse 32: 337–363.
. 1989. “Tutorial On Inconsistency-Adaptive Logics” . New Directions in Paraconsistent Logic.
. 2015. “A Procedural Criterion For Final Derivability In Inconsistency-Adaptive Logics”. Journal of Applied Logic 3: 221–250.
. 2005. “Some Contributions To The Logic Of Action”. Communication and Cognition 9: 347–376.
. 1976. “Grondslagen Van Het Vrijzinnig Humanisme. Een Kennistheoretisch Pleidooi” . Grondslagen Vrijzinnig Humanisme: 75–104.
. 1997. “Contextual Problem Solving And Adaptive Logics In Creative Processes”. Philosophica 64: 7–31.
. 1999.