Publications
Export 233 results:
Author Title Type [ Year
Filters: First Letter Of Last Name is D [Clear All Filters]
“An Inconsistency-Adaptive Proof Procedure For Logic Programming” . Paraconsistency. The Logical Way to the Inconsistent: 323-340.
. 2002. 
“Isaac Newton On Space And Time: Metaphysician Or Not?”. Philosophica 67: 77–114.
. 2002. 
“A Logical Approach To The Analysis Of Metaphors” . Logical and Computational Aspects of Model-Based Reasoning 25: 21–37.
. 2002. 
“A Logical Framework For Integrating Inconsistent Information In Multiple Databases” . Foundations of Information and Knowledge Systems 2284: 67-84. http://dx.doi.org/10.1007/3-540-45758-5_5.
. 2002. 
“Ontological Causes Of Inconsistency And A Change-Adaptive, Logical Solution” . Paraconsistency. The Logical Way to the Inconsistent 228: 151–166.
. 2002. 
“On A Partial Decision Method For Dynamic Proofs” . PCL 2002. Paraconsistent Computational Logic 95: 91–108. http://arxiv.org/abs/cs.LO/0207090.
. 2002. 

“Qualia, Spectruminversie En Filosofische Zombies.” Het bewustzijn in de fysische wereld: Filosofische essays over materialisme en fenomenaal bewustzijn: 171-194.
. 2002. 
“On Some Remarkable Relations Between Paraconsistent Logics, Modal Logics, And Ambiguity Logics” . Paraconsistency. The Logical Way to the Inconsistent: 275–293.
. 2002. 
“Subject Ingebed? Over Het Methodologisch Individualisme In De Sociale Wetenschappen.” . De terugkeer van het subject? Recente Ontwikkelingen binnen de filosofie: 169–179.
. 2002. 
“Thought Experiments, Conceivability Arguments And Conceptual Blending”. Odense Working Papers in Language and Communication 24: 143–156.
. 2002. 
“Why The Logic Of Explanation Is Inconsistency-Adaptive.” . Inconsistency in science: 165–184.
. 2002. 
“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. “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. “Embedding And Interpolation For Some Paralogics. The Propositional Case”. Reports on Mathematical Logic 33: 29–44.
. 1999. 
“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. “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. “A Contextual Approach To Meaning And Knowledge” Science and Society: 84–110.
. 1987. “Creativiteit In Wetenschap En Muziek” . Liber Amicorum J.L. Broeckx: 29–55.
. 1986.