Publications

Export 116 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Last Name is M  [Clear All Filters]
2002
Meheus, Joke. 2002. An Adaptive Logic For Pragmatic Truth Walter A Carnielli, Coniglio, Marcelo E, and D'Ottaviano, Itala MLoffred. Paraconsistency. The Logical Way to the Inconsistent: 167–185.
Meheus, Joke. 2002. Inconsistencies In Scientific Discovery. Clausius's Remarkable Derivation Of Carnot's Theorem Helghe Krach, Vanpaemel, Geert, and Marage, Pierre. History of Modern Physics. Acta of the XXth International Congress of History of Science: 143–154.
Meheus, Joke. 2002. Inconsistencies In Scientific Discovery. Clausius's Remarkable Derivation Of Carnot's Theorem Helghe Krach, Vanpaemel, Geert, and Marage, Pierre. History of Modern Physics. Acta of the XXth International Congress of History of Science: 143–154.
D'Hanis, Isabel. 2002. A Logical Approach To The Analysis Of Metaphors Lorenzo Magnani, Nersessian, Nancy, and Pizzi, Claudio. Logical and Computational Aspects of Model-Based Reasoning 25: 21–37.
2001
Meheus, Joke. 2001. Adaptive Logics For Question Evocation. Logique et Analyse 44: 135–164.
Carnielli, Walter A, and João Marcos. 2001. Ex Contradictione Non Sequitur Quodlibet. In Proceedings of the 2000 Advanced Reasoning Forum Conference, Proceedings of the 2000 Advanced Reasoning Forum Conference,.
Caleiro, Carlos, and João Marcos. 2001. Non-Truth-Functional Fibred Semantics Hamid R Arabnia. Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001) 2: 841–847.
Carnielli, Walter A, and João Marcos. 2001. Tableau Systems For Logics Of Formal Inconsistency Hamid R Arabnia. Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001): 848-852.
Carnielli, Walter A, João Marcos, and Itala MLoffred D'Ottaviano. 2001. A Taxonomy Of C-Systems Walter A Carnielli and Coniglio, Marcelo E. Paraconsistency. The Logical Way to the Inconsistent: 1-94.
2000
Batens, Diderik, Chris Mortensen, Graham Priest, and Jean Paul Van Bendegem. 2000. Frontiers of Paraconsistent Logic Frontiers Of Paraconsistent Logic. Baldock, UK: Research Studies Press.
Batens, Diderik, and Joke Meheus. 2000. A Tableau Method For Inconsistency-Adaptive Logics Roy Dyckhoff. Automated Reasoning with Analytic Tableaux and Related Methods 1847: 127–142.

Pages