notes-philosophy-logic-logicNotes

• http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.1787 Jingde Cheng. Entailment Calculus as the Logical Basis of Automated Theorem Finding in Scientific Discovery (1995)
• https://en.wikipedia.org/wiki/Automated_theorem_prover#Popular_techniques
• https://en.wikipedia.org/wiki/Automated_theorem_prover
• https://en.wikipedia.org/wiki/Automated_reasoning
• http://logic.stanford.edu/classes/cs157/2013/pages/cs157.html
• http://logic.stanford.edu/classes/cs157/2010/cs157.html
• http://plato.stanford.edu/entries/square/
• http://stellar.mit.edu/S/course/9/sp11/9.915/

See also logic stuff mentioned at http://bayleshanks.com/bshanks/work/ai.html

See also notes-cog-ai-reasoning.