Publications
Export 233 results:
Author Title Type [ Year
Filters: First Letter Of Last Name is D [Clear All Filters]
“Inductie” Standaard Encyclopedia voor Opvoeding en Onderwijs: 180.
. 1977. “Inductie” Standaard Encyclopedia voor Opvoeding en Onderwijs: 180.
. 1977. “Inferentie” Standaard Encyclopedie voor Opvoeding en Onderwijs: 382–383.
. 1977. “Inferentie” Standaard Encyclopedie voor Opvoeding en Onderwijs: 382–383.
. 1977. “Verisimilitude And Meaning Relations” . CC77. International Workshop on the Cognitive Viewpoint: 321–328.
. 1977. “An Empirical Investigation On Scientific Observation” . Theory of Knowledge and Science Policy: 3–36.
. 1979. “An Empirical Investigation On Scientific Observation” . Theory of Knowledge and Science Policy: 3–36.
. 1979. “An Empirical Investigation On Scientific Observation” . Theory of Knowledge and Science Policy: 3–36.
. 1979. “Creativiteit In Wetenschap En Muziek” . Liber Amicorum J.L. Broeckx: 29–55.
. 1986. “A Contextual Approach To Meaning And Knowledge” Science and Society: 84–110.
. 1987. “In-World Realism Vs. Reflective Realism.” . Realism in the Sciences: 35–53.
. 1996. 
“Mathematical Experiments And Mathematical Pictures” . Realism in the Sciences: 203–216.
. 1996. “Bisimulations For Temporal Logic”. Journal of Logic, Language and Information 6: 403–425.
. 1997. “Simulating Without Negation.”. Journal of logic and computation 7: 501–522.
. 1997. “Embedding And Interpolation For Some Paralogics. The Propositional Case”. Reports on Mathematical Logic 33: 29–44.
. 1999. 
“Alternative Mathematics: The Vague Way.” . Festschrift in honor of Newton C.A. da Costa on the occasion of his seventieth birthday 125: 19–31.
. 2000. 
“A Tableau Method For Inconsistency-Adaptive Logics” . Automated Reasoning with Analytic Tableaux and Related Methods 1847: 127–142.
. 2000. 
“Two New Strategies For Inconsistency-Adaptive Logics”. Logic and Logical Philosophy 8: 65–80.
. 2000. “A Pragmatic Approach To The Explanation Of Actions” Social Science Methodology in the New Millenium.
. 2001. 
“Secondary Qualities In Retrospect”. Philosophica 68: 41–59.
. 2001. 
“A Taxonomy Of C-Systems” . Paraconsistency. The Logical Way to the Inconsistent: 1-94.
. 2001. “The Use Of Metaphors In Scientific Development: A Logical Approach”. Logique et analyse 44: 215–235.
. 2001. “An Adaptive Logic For Pragmatic Truth” . Paraconsistency. The Logical Way to the Inconsistent: 167–185.
. 2002. 
“How To Obtain Elegant Fitch-Style Proofs From Goal Directed Ones.”. In Proceedings of the Fourtheenth Belgium-Netherlands Conference on Artificial Intelligence, 2002, Proceedings of the Fourtheenth Belgium-Netherlands Conference on Artificial Intelligence, 2002,
. 2002. 
“An Inconsistency-Adaptive Proof Procedure For Logic Programming” . Paraconsistency. The Logical Way to the Inconsistent: 323-340.
. 2002. 