The Cambridge Handbook of Computational Psychology: Mental Logic, Mental Models, and Simulations of Human Deductive Reasoning

[1]  P. Johnson-Laird,et al.  Preferred mental models in reasoning about spatial relations , 2007, Memory & cognition.

[2]  Francis Jeffry Pelletier,et al.  Seventy-five problems for testing automatic theorem provers , 1986, Journal of Automated Reasoning.

[3]  Manuel Carreiras,et al.  Early and late processes in syllogistic reasoning: Evidence from eye-movements , 2005, Cognition.

[4]  P N Johnson-Laird,et al.  Reasoning about relations. , 2005, Psychological review.

[5]  P. Johnson-Laird,et al.  Naïve deontics: A theory of meaning, representation, and reasoning , 2005, Cognitive Psychology.

[6]  André Vandierendonck,et al.  Mental model construction in linear reasoning: Evidence for the construction of initial annotated models , 2004, The Quarterly journal of experimental psychology. A, Human experimental psychology.

[7]  P. Johnson-Laird,et al.  Reasoning from inconsistency to consistency. , 2004, Psychological review.

[8]  P. Johnson-Laird,et al.  Co-reference and reasoning , 2004, Memory & cognition.

[9]  P. Johnson-Laird,et al.  Counterexamples in sentential reasoning , 2003, Memory & cognition.

[10]  N. Chater,et al.  Simplicity: a unifying principle in cognitive science? , 2003, Trends in Cognitive Sciences.

[11]  P. Johnson-Laird,et al.  Conditionals: A Theory of Meaning, Pragmatics, and Inference , 2002 .

[12]  Philip N. Johnson-Laird,et al.  Strategies in sentential reasoning , 2002, Cogn. Sci..

[13]  Vincenzo Lombardo,et al.  Model theory of deduction: a unified computational approach , 2001, Cogn. Sci..

[14]  G. d'Ydewalle,et al.  The processing of negations in conditional reasoning: A meta-analytic case study in mental model and/or mental logic theory , 2001 .

[15]  P. N. Johnson-Laird,et al.  How to eliminate illusions in quantified reasoning , 2000, Memory & cognition.

[16]  O. Wilhelm,et al.  Effects of directionality in deductive reasoning: I. The comprehension of single relational premises. , 2000, Journal of experimental psychology. Learning, memory, and cognition.

[17]  Jacob Feldman,et al.  Minimization of Boolean complexity in human concept learning , 2000, Nature.

[18]  P. N. Johnson-Laird,et al.  Illusions in quantified reasoning: How to make the impossible seem possible, and vice versa , 2000, Memory & cognition.

[19]  P. N. Johnson-Laird,et al.  Illusions in modal reasoning , 2000, Memory & cognition.

[20]  P. Johnson-Laird,et al.  Illusory inferences: a novel class of erroneous deductions , 1999, Cognition.

[21]  P. Johnson-Laird,et al.  Strategies in syllogistic reasoning , 1999, Cogn. Sci..

[22]  Philip N. Johnson-Laird,et al.  Naive Probability: A Mental Model Theory of Extensional Reasoning , 1999 .

[23]  M. Carreiras,et al.  Reasoning about relations: Spatial and nonspatial problems , 1997 .

[24]  W. Schaeken,et al.  Tense, Aspect, and Temporal Reasoning , 1996 .

[25]  P. Johnson-Laird,et al.  Mental models and temporal reasoning , 1996, Cognition.

[26]  Allen Newell,et al.  Deduction as verbal reasoning. , 1995 .

[27]  L. Shastri,et al.  From simple associations to systematic reasoning: A connectionist representation of rules, variables and dynamic bindings using temporal synchrony , 1993, Behavioral and Brain Sciences.

[28]  J. Barwise Everyday reasoning and logical inference , 1993 .

[29]  L. Rips The psychology of knights and knaves , 1989, Cognition.

[30]  L. Rips Cognitive Processes in Propositional Reasoning. , 1983 .

[31]  M. Braine On the Relation Between the Natural Logic of Reasoning and Standard Logic. , 1978 .

[32]  Daniel Kahneman,et al.  Availability: A heuristic for judging frequency and probability , 1973 .

[33]  R. Shepard,et al.  Learning and memorization of classifications. , 1961 .

[34]  Willard Van Orman Quine,et al.  The Problem of Simplifying Truth Functions , 1952 .