Publications
Export 116 results:
Author Title Type [ Year
] Filters: First Letter Of Last Name is M [Clear All Filters]
. 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.

. 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.
. 2000. “On The Acceptance Of Problem Solutions Derived From Inconsistent Constraints”. Logic and Logical Philosophy 8: 33–46.

. 2000. “The Adaptive Logic Of Compatibility”. Studia Logica 66: 327–348.

. 2000. “Analogical Reasoning In Creative Problem Solving Processes: Logico-Philosophical Perspectives” . Metaphor and Analogy in the Sciences: 17–34.

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

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

. 2000. “A Tableau Method For Inconsistency-Adaptive Logics” . Automated Reasoning with Analytic Tableaux and Related Methods 1847: 127–142.

. 1999. “Clausius' Discovery Of The First Two Laws Of Thermodynamics. A Paradigm Of Reasoning From Inconsistencies”. Philosophica 63: 89–117.

