Export 821 results:
[ Author(Desc)] Title Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
Batens, Diderik. 1977. Inferentie A. De Block, Have, T.T. Ten, and De Keyser, C.C. Standaard Encyclopedie voor Opvoeding en Onderwijs: 382–383.
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.
Batens, Diderik. 2007. Content Guidance In Formal Problem Solving Processes Olga Pombo and Gerner, Alexander. Abduction and the Process of Scientific Discovery: 121–156.
Batens, Diderik. 2014. The Consistency Of Peano Arithmetic. A Defeasible Perspective Patrick Allo and Van Kerkhove, Bart. Modestly Radical or Radically Modest. Festschrift for Jean Paul Van Bendegem on the Occasion of His 60th Birthday: 11–59.
Batens, Diderik. 2010. Waar Stoppen?. Algemeen Nederlands Tijdschrift voor Wijsbegeerte 102: 196–198.
Batens, Diderik. 1971. Some Objections To Keith Lehrer's Rule Ir. The British Journal for the Philosophy of Science 22: 357–362.
Batens, Diderik. 2009. Towards A Dialogic Interpretation Of Dynamic Proofs Cédric Dégremont, Keiff, Laurent, and Rückert, Helge. Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman: 27–51.
Batens, Diderik. 1986. Wetenschap En Vrijzinnige Waarden. De specificiteit van Vrijzinnig Humanistische Waarden: 1–14.
Batens, Diderik. 2006. A Diagrammatic Proof Search Procedure As Part Of A Formal Approach To Problem Solving Lorenzo Magnani. Model Based Reasoning in Science and Engineering. Cognitive Science, Epistemology, Logic: 265–284.