Publications

Export 823 results:
Author Title Type [ Year(Desc)]
2006
Primiero, Giuseppe. 2006. Belief Revision In Constructive Type Theory. In Logica 2005 Yearbook, Logica 2005 Yearbook, M Bilkova and Tomala, O. Filosofia Publisher.
Batens, Diderik. 2006. A Diagrammatic Proof Search Procedure As Part Of A Formal Approach To Problem Solving Lorenzo Magnani. Model Based Reasoning in Science and Engineering. Cognitive Science, Epistemology, Logic: 265–284.
De Mol, Liesbeth. 2006. Facing The Computer. Some Techniques To Understand Technique.. In Computers and Philosophy, an International Conference, Computers and Philosophy, an International Conference, C. TA Schmidt. EOARD.
Meheus, Joke, and Diderik Batens. 2006. A Formal Logic For Abductive Reasoning. Logic Journal of the IGPL 14: 221–236.
Ducheyne, Steffen. 2006. Galileo's Interventionist Notion Of "cause". Journal of the History of Ideas 67: 443–464.

Pages