An explanatory framework for human theorem proving

This publication has 11 references indexed in Scilit:

• The use of explicit plans to guide inductive proofs
  Published by Springer Nature ,2010
• A science of reasoning: Extended abstract
  Published by Springer Nature ,1990
• Logic and Computation
  Published by Cambridge University Press (CUP) ,1987
• The markgraf karl refutation procedure (MKRP)
  Published by Springer Nature ,1986
• Cognitive processes in propositional reasoning.
  Psychological Review, 1983
• Theorem Proving via General Matings
  Journal of the ACM, 1981
• On the relation between the natural logic of reasoning and standard logic.
  Psychological Review, 1978
• Linguistics and natural logic
  Synthese, 1970
• A Machine-Oriented Logic Based on the Resolution Principle
  Journal of the ACM, 1965
• Untersuchungen ber das logische Schlie en. II
  Mathematische Zeitschrift, 1935