Generating readable proofs: A heuristic approach to theorem proving with spider diagrams

, &
In A. Blackwell, K. Marriott & A. Shimojima (eds.), Diagrammatic Representation and Inference. Springer. pp. 166--181 (2004)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 96,395

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Speedith: A Reasoner for Spider Diagrams.Matej Urbas, Mateja Jamnik & Gem Stapleton - 2015 - Journal of Logic, Language and Information 24 (4):487-540.
On the completeness of spider diagrams augmented with constands / Gem Stapleton...[et al.]. A practice-based approach to diagrams. [REVIEW]Valeria Giardino - 2013 - In Sun-Joo Shin & Amirouche Moktefi (eds.), Visual Reasoning with Diagrams. Basel: Birkhaüser.
On automating diagrammatic proofs of arithmetic arguments.Mateja Jamnik, Alan Bundy & Ian Green - 1999 - Journal of Logic, Language and Information 8 (3):297-321.
Counter-Example Construction with Euler Diagrams.Ryo Takemura - 2015 - Studia Logica 103 (4):669-696.
Calculus CL as Ontology Editor and Inference Engine.Jens Lemanski - 2018 - In Peter Chapman, Gem Stapleton, Amirouche Moktefi, Sarah Perez-Kriz & Francesco Bellucci (eds.), Diagrammatic Representation and Inference10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings. Cham, Switzerland: Springer-Verlag. pp. 752-756.
Diagrams 2021: Diagrammatic Representation and Inference.Viana P. Basu A., Stapleton G., Linker S., Legg C., Manalo E. (ed.) - 2021
Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization.Ryo Takemura - 2013 - Studia Logica 101 (1):157-191.
Diagrammatic Representation and Inference. Diagrams 2022.V. Giardino, S. Linker, S. Burns, F. Bellucci, J. M. Boucheix & P. Viana (eds.) - 2022 - Springer.
Diagrammatic Representation and Inference. 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021, Proceedings.Amrita Basu, Gem Stapleton, Sven Linker, Catherine Legg, Emmanuel Manalo & Petrucio Viana (eds.) - 2021 - Springer.
Feature diagrams in phonology.Don Salting - 2004 - In A. Blackwell, K. Marriott & A. Shimojima (eds.), Diagrammatic Representation and Inference. Springer. pp. 398--401.

Analytics

Added to PP
2014-01-26

Downloads
25 (#736,036)

6 months
4 (#1,499,030)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Gem Stapleton
University of Brighton

Citations of this work

Speedith: A Reasoner for Spider Diagrams.Matej Urbas, Mateja Jamnik & Gem Stapleton - 2015 - Journal of Logic, Language and Information 24 (4):487-540.

Add more citations

References found in this work

No references found.

Add more references