Chapter 44. The Automation of Sound Reasoning and Successful Proof Finding

  1. Dale Jacquette
  1. Larry Wos and
  2. Branden Fitelson

Published Online: 26 NOV 2007

DOI: 10.1002/9780470996751.ch45

A Companion to Philosophical Logic

A Companion to Philosophical Logic

How to Cite

Wos, L. and Fitelson, B. (2006) The Automation of Sound Reasoning and Successful Proof Finding, in A Companion to Philosophical Logic (ed D. Jacquette), Blackwell Publishing Ltd, Oxford, UK. doi: 10.1002/9780470996751.ch45

Publication History

  1. Published Online: 26 NOV 2007
  2. Published Print: 1 JAN 2006

ISBN Information

Print ISBN: 9780631216711

Online ISBN: 9780470996751

SEARCH

Keywords:

  • automation;
  • sound reasoning;
  • proof finding;
  • automated reasoning;
  • intriguing proof

Summary

This chapter contains sections titled:

  • The Cutting Edge

  • Automated Reasoning, Principles and Elements

  • Significant Successes

  • Myths, Mechanization, and Mystique