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.