Publications
Export 116 results:
Author Title Type [ Year
Filters: First Letter Of Last Name is M [Clear All Filters]
“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.
. 2001. “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.
. 2002. 
“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.
. 2003. 
“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.
. 2004. 
“Empirical Progress And Ampliative Adaptive Logics” . Confirmation, Empirical Progress, and Truth Approximation. Essays in Debate with Theo Kuipers. Vol. 1 83: 193–217.
. 2005. 
“An Adaptive Logic Based On Jaśkowski's Approach To Paraconsistency”. Journal of Philosophical Logic 35: 539–567.
. 2006. 
