Publications
Export 102 results:
Author Title Type [ Year
Filters: First Letter Of Last Name is P [Clear All Filters]
“Verisimilitude And Meaning Relations” . CC77. International Workshop on the Cognitive Viewpoint: 321–328.
. 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. “Meaning, Acceptance, And Dialectics” . Change and Progress in Modern Science: 333–360.
. 1985. “Two Semantically Motivated Enrichments Of Relevant Logics” . Essays in Philosophical Logic: 65–74.
. 1987. “Dynamic Dialectical Logics” . Paraconsistent Logic. Essays on the Inconsistent: 187–217.
. 1989. “Leo Apostel On Dialectical Logic” . The Philosophy of Leo Apostel, vol. 2: Descriptive and Critical Essays: 24–55.
. 1989. “A Formal Analysis Of Diagnosis And Diagnostic Reasoning”. Logique et Analyse 42: 161–180.
. 1999. 
“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 
“A Survey Of Inconsistency-Adaptive Logics” . Frontiers of Paraconsistent Logic: 49–73.
. 2000. 
“Pushing The Search Paths In The Proofs. A Study In Proof Heuristics”. Logique et Analyse 44: 113–134.
. 2001. 
“Ampliative Adaptive Logics And The Foundation Of Logic-Based Approaches To Abduction”. Logical and Computational Aspects of Model-Based Reasoning: 39–71.
. 2002. 
“Is Er Een Diepe Kloof Tussen De Heuristiek En De Inferentieregels Van Een Bewijstheorie? Een Poging Tot Integratie.”. In Handelingen van de 24ste Nederlands-Vlaamse Filosofiedag: Filosofie en Empirie, Handelingen van de 24ste Nederlands-Vlaamse Filosofiedag: Filosofie en Empirie, Universiteit Amsterdam.
. 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. 
“A Logical Approach To The Analysis Of Metaphors” . Logical and Computational Aspects of Model-Based Reasoning 25: 21–37.
. 2002. 
“Direct Dynamic Proofs For Compatibility.” . Computer modeling of scientific reasoning: 179–187.
. 2003. 
“Some Adaptive Logics For Diagnosis”. Logic and Logical Philosophy 11/12: 39–65.
. 2003. 
“Direct Dynamic Proofs For Classical Compatibility”. Logique et Analyse 47: 305–317.
. 2004. 
“An Adaptive Logic For Compassionate Relevantism”. In Computational Models of Scientific Reasoning and Applications, Computational Models of Scientific Reasoning and Applications, . CENTRIA.
. 2005. 
“Empirical Progress And Ampliative Adaptive Logics” . Confirmation, Empirical Progress, and Truth Approximation. Essays in Debate with Theo Kuipers. Vol. 1 83: 193–217.
. 2005. 
“Are There Ontological Explanations?” . Essays in Logic and Ontology 91: 277–283.
. 2006. 