Edinburgh Research Explorer

A Science of Reasoning (Extended Abstract)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Related Edinburgh Organisations


Original languageEnglish
Title of host publicationAutomated Reasoning with Analytic Tableaux and Related Methods
EditorsHarrie de Swart
PublisherSpringer International Publishing
Number of pages8
ISBN (Print)
Publication statusPublished - May 1998


How can we understand reasoning in general and mathematical proofs in particular? It is argued that a high-level understanding of proofs is needed to complement the low-level understanding provided by Logic. A role for computation is proposed to provide this high-level understanding, namely by the association of proof plans with proofs. Criteria are given for assessing the association of a proof plan with a proof.

Download statistics

No data available

ID: 51547400