Publications
Export 116 results:
Author Title Type [ Year
] Filters: First Letter Of Last Name is M [Clear All Filters]
. 2001. “Adaptive Logics For Question Evocation”. Logique et Analyse 44: 135–164.

. 2001. “Ex Contradictione Non Sequitur Quodlibet”. In Proceedings of the 2000 Advanced Reasoning Forum Conference, Proceedings of the 2000 Advanced Reasoning Forum Conference,.
. 2001. “On The Logic And Pragmatics Of The Process Of Explanation” . Explanatory Connections. Electronic Essays Dedicated to Matti Sintonen. http://www.valt.helsinki.fi/kfil/matti/.

. 2001. “Non-Truth-Functional Fibred Semantics” . Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001) 2: 841–847.
. 2001. “Shortcuts And Dynamic Marking In The Tableau Method For Adaptive Logics”. Studia Logica 69: 221–248.

. 2001. “Tableau Systems For Logics Of Formal Inconsistency” . Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001): 848-852.
. 2001. “A Taxonomy Of C-Systems” . Paraconsistency. The Logical Way to the Inconsistent: 1-94.
. 2002. “An Adaptive Logic For Pragmatic Truth” . Paraconsistency. The Logical Way to the Inconsistent: 167–185.

. 2002. “Ampliative Adaptive Logics And The Foundation Of Logic-Based Approaches To Abduction”. Logical and Computational Aspects of Model-Based Reasoning: 39–71.

. 2002. “In Defence Of A Programme For Handling Inconsistencies” . Inconsistency in Science: 129–150.

. 2002. “Inconsistencies In Scientific Discovery. Clausius's Remarkable Derivation Of Carnot's Theorem” . History of Modern Physics. Acta of the XXth International Congress of History of Science: 143–154.

. 2002. “Inconsistencies In Scientific Discovery. Clausius's Remarkable Derivation Of Carnot's Theorem” . History of Modern Physics. Acta of the XXth International Congress of History of Science: 143–154.

. 2002. “Inconsistencies In The History Of Mathematics: The Case Of Infinitesimals.” . Inconsistency in Science 2: 43–57. http://dx.doi.org/10.1007/978-94-017-0085-6_3.

. 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. “Why The Logic Of Explanation Is Inconsistency-Adaptive.” . Inconsistency in science: 165–184.

. 2003. “Do We Need Paraconsistency In Commonsense Reasoning?” . Computer Modeling of Scientific Reasoning: 135–146.

. 2003. “Inconsistencies And The Dynamics Of Science”. Logic and Logical Philosophy 11/12: 129–148.

. 2003. “Paraconsistent Compatibility”. Logique et Analyse 46: 251–287.

. 2003. “Some Adaptive Logics For Diagnosis”. Logic and Logical Philosophy 11/12: 39–65.

. 2004. “Adaptive Logics And The Integration Of Induction And Deduction” . Induction and Deduction in the Sciences: 93–120.

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

. 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. “An Adaptive Logic Based On Jaśkowski's Approach To Paraconsistency”. Journal of Philosophical Logic 35: 539–567.

