The Genesis of the Truth-Table Device, Russell: the Journal of Bertrand Russell Studies, vol.24, issue.1, pp.55-70, 2004. ,
DOI : 10.15173/russell.v24i1.2056
A Note on the historical development of logica diagrams: Leibniz, Euler and Venn. The Mathematical Gazette, pp.113-125, 1969. ,
Thinking with diagrams, 2001. ,
DOI : 10.1007/978-94-017-3524-7
Ecological interface design, Boca Raton, 2004. ,
Icon, Index, and Symbol, Philosophy and Phenomenological Research, vol.9, issue.4, pp.673-689, 1949. ,
DOI : 10.2307/2103298
Symbolic Logic, 1958. ,
Pragmatic reasoning schemas, Cognitive Psychology, vol.17, issue.4, pp.391-416, 1985. ,
DOI : 10.1016/0010-0285(85)90014-3
URL : http://deepblue.lib.umich.edu/bitstream/2027.42/25556/1/0000098.pdf
Retrieval time from semantic memory, Journal of Verbal Learning and Verbal Behavior, vol.8, issue.2, pp.240-247, 1969. ,
DOI : 10.1016/S0022-5371(69)80069-1
An Attention Based Theory to Explore Affordances of Textual and Diagrammatic Proofs, LNAI, vol.6170, pp.271-278, 2010. ,
DOI : 10.1007/978-3-642-14600-8_27
Les images mentales, 1979. ,
DOI : 10.3917/puf.denis.1979.01
A strategy for human factors/ergonomics: developing the discipline and profession, Ergonomics, vol.36, issue.2, pp.1-27, 2012. ,
DOI : 10.1080/14639220500077346
Offloading cognition onto cognitive technology, Distributed Cognition: How Cognitive Technology Extends Our Minds, pp.1-23, 2008. ,
DOI : 10.1075/bct.16.02dro
URL : http://arxiv.org/abs/0808.3569
From Case-based Reasoning to Problem-based Learning, Academic Medicine, vol.78, issue.5, pp.491-496, 2003. ,
DOI : 10.1097/00001888-200305000-00011
Adaptive thinking: rationality in the real world, 2000. ,
DOI : 10.1093/acprof:oso/9780195153729.001.0001
Cognitive technology, search of Human Interface, 1996. ,
Type-syntax and token-syntax in diagrammatic systems, Proceedings of the international conference on Formal Ontology in Information Systems , FOIS '01, pp.174-185, 2001. ,
DOI : 10.1145/505168.505185
Emergent representations, interaction theory and the cognitive force of metaphor, New Ideas in Psychology, vol.24, issue.2, pp.133-162, 2006. ,
DOI : 10.1016/j.newideapsych.2006.07.004
Mental models and deduction, Trends in Cognitive Sciences, vol.5, issue.10, pp.434-442, 2001. ,
DOI : 10.1016/S1364-6613(00)01751-4
Hypercube algebra, Proceedings of the 30th European Conference on Cognitive Ergonomics, ECCE '12, pp.131-146, 2012. ,
DOI : 10.1145/2448136.2448157
URL : https://hal.archives-ouvertes.fr/hal-00722696
Where mathematics comes from, 2000. ,
Images and inference, Cognition, vol.29, issue.3, pp.229-250, 1988. ,
DOI : 10.1016/0010-0277(88)90025-X
Diagrammatic reasoning by simulation, AAAI Symposium on Reasoning with Diagrammatic Representations, 1992. ,
Sur les types des propositions compos??es, The Journal of Symbolic Logic, vol.93, issue.03, pp.98-103, 1940. ,
DOI : 10.1007/BF01691615
Information processing and human-machine interaction: An approach to cognitive engineering, 1986. ,
Human Problem Solving Performance in a Fault Diagnosis Task, IEEE Transactions on Systems, Man, and Cybernetics, vol.8, issue.4, pp.258-271, 1978. ,
DOI : 10.1109/TSMC.1978.4309946
Diagrams In The Standford Encyclopedia of Philosophy, Available as http, 2008. ,
A Survey of Reasoning Systems Based on Euler Diagrams, Electronic Notes in Theoretical Computer Science, vol.134, pp.127-151, 2005. ,
DOI : 10.1016/j.entcs.2005.02.022
A Cognitive Theory of Graphical and Linguistic Reasoning: Logic and Implementation, Cognitive Science, vol.1, issue.1, pp.97-140, 1997. ,
DOI : 10.1207/s15516709cog1901_3