Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 823 results:

] 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

B

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, and Dagmar Provijn. 2001. “Pushing The Search Paths In The Proofs. A Study In Proof Heuristics”. Logique et Analyse 44: 113–134.

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 Jean Paul Van Bendegem. 1985. “Relevant Derivability And Classical Derivability In Fitch-Style And Axiomatic Formulations Of Relevant Logics”. Logique et Analyse 28: 21–31.

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. 1993. “De Inconsistentie-Adaptieve Logica Ddl” Wim van Dooren and Hoff, Tineke. Aktueel Filosoferen: 39–45.

Batens, Diderik. 1986. “Rich Relevant Logics Based On A Simple Type Of Semantics”. Logique et Analyse 29: 437–457.

Batens, Diderik. 1989. “Over De Kloof Tussen Feit En Norm, Bekeken Vanuit De Hedendaagse Wetenschapsfilosofie” Hugo Van den Enden. Dwarsdenken. Omtrent Jaap Kruithof: 165–177.

Batens, Diderik, and Joke Meheus. 1997. “Over Het (Vermeende) Conflict Tussen Godsgeloof En De Wetenschappen”. Mores 42: 401–415.

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. 2000. “Towards The Unification Of Inconsistency Handling Mechanisms”. Logic and Logical Philosophy 8: 5–31.

Batens, Diderik, Joke Meheus, and Dagmar Provijn. 2006. An Adaptive Characterization Of Signed Systems For Paraconsistent Reasoning.

Batens, Diderik. 1980. “A Completeness-Proof Method For Extensions Of The Implicational Fragment Of The Propositional Calculus”. Notre Dame Journal of Formal Logic 21: 509–517.

Batens, Diderik. 2019. “Looting Liars Masking Models” Can Başkent and Ferguson, Thomas Macaulay. Graham Priest on Dialetheism and Paraconsistency: 139--164.

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.

Batens, Diderik. 2003. “Adaptieve Logica's. Een Precieze Benadering Van Vertrouwde Maar Door Logici Verwaarloosde Redeneervormen”. Algemeen Nederlands Tijdschrift voor Wijsbegeerte 95: 174–189.

Batens, Diderik. 1986. “Wetenschap En Vrijzinnige Waarden”. De specificiteit van Vrijzinnig Humanistische Waarden: 1–14.

Batens, Diderik. 1989. “Natural Heuristics For Proof Construction. Part I: Classical Propositional Logic”. Logique et Analyse 32: 337–363.

Batens, Diderik. 1999. “Contextual Problem Solving And Adaptive Logics In Creative Processes”. Philosophica 64: 7–31.

Batens, Diderik. 2018. “Kennissystemen Selectief Wieden” Bart Van Kerkhove, François, Karen, Ducheyne, Steffen, and Allo, Patrick. Laat ons niet ernstig blijven. Huldeboek voor Jean Paul Van Bendegem: 227–244.

Batens, Diderik. 2015. “Tutorial On Inconsistency-Adaptive Logics” Jean-Yves Béziau, Chakraborty, Mihir, and Dutta, Soma. New Directions in Paraconsistent Logic.

Batens, Diderik. 2005. “A Procedural Criterion For Final Derivability In Inconsistency-Adaptive Logics”. Journal of Applied Logic 3: 221–250.

Batens, Diderik. 1976. “Some Contributions To The Logic Of Action”. Communication and Cognition 9: 347–376.

Pages