Publications
Export 150 results:
Author Title Type [ Year] Filters: Author is Batens, Diderik [Clear All Filters]
“Embedding And Interpolation For Some Paralogics. The Propositional Case”. Reports on Mathematical Logic 33: 29–44.
. 1999. “Inconsistency-Adaptive Logics” . Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa: 445–472.
. 1999. “Linguistic And Ontological Measures For Comparing The Inconsistent Parts Of Models”. Logique et Analyse 42: 5–33.
. 1999. “Paraconsistency And Its Relation To Worldviews”. Foundations of Science 3: 259–283.
. 1999. “Radicaal Atheïsme” . Wat met God?: 129–162.
. 1999. “Zero Logic Adding Up To Classical Logic”. Logical Studies 2: 15.
. 1999. “The Adaptive Logic Of Compatibility”. Studia Logica 66: 327–348.
. 2000. “On The Epistemological Justification Of Pluralism And Tolerance”. Philosophica 65: 33–54.
. 2000. “An Extremely Rich Paraconsistent Logic And The Adaptive Logic Based On It” . Frontiers of Paraconsistent Logic: 189–201.
. 2000. Frontiers Of Paraconsistent Logic. Baldock, UK: Research Studies Press.
. 2000. Frontiers of Paraconsistent Logic “Minimally Abnormal Models In Some Adaptive Logics”. Synthese 125: 5–18.
. 2000. “Rich Inconsistency-Adaptive Logics. The Clash Between Heuristic Efficiency And Realistic Reconstruction” . Logique en perspective. Mélanges offerts à Paul Gochet: 513–543.
. 2000. “A Survey Of Inconsistency-Adaptive Logics” . Frontiers of Paraconsistent Logic: 49–73.
. 2000. “A Survey Of Inconsistency-Adaptive Logics” . Frontiers of Paraconsistent Logic: 49–73.
. 2000. “A Tableau Method For Inconsistency-Adaptive Logics” . Automated Reasoning with Analytic Tableaux and Related Methods 1847: 127–142.
. 2000. “Towards The Unification Of Inconsistency Handling Mechanisms”. Logic and Logical Philosophy 8: 5–31.
. 2000. “On Classical Adaptive Logics Of Induction”. Logique et Analyse 44: 255–290.
. 2001. “A Dynamic Characterization Of The Pure Logic Of Relevant Implication”. Journal of Philosophical Logic 30: 267-280.
. 2001. “A General Characterization Of Adaptive Logics”. Logique et Analyse 44: 45–68.
. 2001. “On The Logic And Pragmatics Of The Process Of Explanation” . Explanatory Connections. Electronic Essays Dedicated to Matti Sintonen. http://www.valt.helsinki.fi/kfil/matti/.
. 2001. “Over De Zin Van Het Leven En De Zingevende Functie Van Wereldbeelden”. Mores 226: 41–63.
. 2001. “Pushing The Search Paths In The Proofs. A Study In Proof Heuristics”. Logique et Analyse 44: 113–134.
. 2001. “Shortcuts And Dynamic Marking In The Tableau Method For Adaptive Logics”. Studia Logica 69: 221–248.
. 2001. “A Universally Abnormality-Adaptive Logic”. Logical Investigations 8: 256–265.
. 2001.