Publications

Export 39 results:
Author Title [ Type(Asc)] Year
Filters: First Letter Of Title is M  [Clear All Filters]
Journal Article
Vanderbeeken, Robrecht. 2004. Models Of Intentional Explanation.. Philosophical Explorations 7: 233–247.
Weber, Erik. 1992. Models Of Explanation: An Evaluation Of Their Fruitfulness. COMMUNICATION & COGNITION : MONOGRAPHIES 25: 339–352.
Vanackere, Guido. 1999. Minimizing Ambiguity And Paraconsistency.. Logique et Analyse 42: 39–160.
Wieland, Jan Willem, and Erik Weber. 2010. Metaphysical Explanatory Asymmetries. Logique et Analyse 53: 345–365.
Urbaniak, Rafal. 2009. The Mathematics Of Logic By Richard Kaye (Review).. Bulletin of Symbolic Logic 15: 216–218.
Heeffer, Albrecht. 2007. Mathematics Education Through Lesson Study In The Asia-Pacific Region. History and Pedagogy of Mathematics Newsletter 66: 4–6.
Frans, Joachim, and Laszlo Kosolosky. 2015. Mathematical Proofs In Practice: Revisiting The Reliability Of Published Mathematical Proofs. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia 29: 345–360.
Ducheyne, Steffen. 2005. Mathematical Models In Newton's Principia: A New View Of The 'newtonian Style'.. International Studies in the Philosophy of Science 19: 1–19.
Primiero, Giuseppe, and Joke Meheus. 2008. Majority Merging By Adaptive Counting. Synthese (KRA Serie) 165: 203–223.
Conference Paper
Primiero, Giuseppe. 2010. A Multi-Modal Dependent Type Theory For Representing Data Accessibility In A Network.. In Electronic Proceedings of the Federated Logic Conference 2010 (Proof Systems for Program Logics Workshop), Electronic Proceedings of the Federated Logic Conference 2010 (Proof Systems for Program Logics Workshop), Citeseer.

Pages