Publications
Export 102 results:
Author Title Type [ Year
] Filters: First Letter Of Last Name is P [Clear All Filters]
. 1977. “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.
. 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.
. 1985. “Meaning, Acceptance, And Dialectics” . Change and Progress in Modern Science: 333–360.
. 1987. “Two Semantically Motivated Enrichments Of Relevant Logics” . Essays in Philosophical Logic: 65–74.
. 1989. “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.
. 1999. “A Formal Analysis Of Diagnosis And Diagnostic Reasoning”. Logique et Analyse 42: 161–180.

. 2000. “An Extremely Rich Paraconsistent Logic And The Adaptive Logic Based On It” . Frontiers of Paraconsistent Logic: 189–201.

. 2000. Frontiers of Paraconsistent Logic Frontiers Of Paraconsistent Logic. Baldock, UK: Research Studies Press.

. 2000. “A Survey Of Inconsistency-Adaptive Logics” . Frontiers of Paraconsistent Logic: 49–73.

. 2001. “Pushing The Search Paths In The Proofs. A Study In Proof Heuristics”. Logique et Analyse 44: 113–134.

. 2002. “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.

. 2003. “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.

. 2004. “Direct Dynamic Proofs For Classical Compatibility”. Logique et Analyse 47: 305–317.

. 2005. “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.

. 2006. “Are There Ontological Explanations?” . Essays in Logic and Ontology 91: 277–283.

