On the completeness of spider diagrams augmented with constands / Gem Stapleton...[et al.]. A practice-based approach to diagrams [Book Review]

In Sun-Joo Shin & Amirouche Moktefi (eds.), Visual Reasoning with Diagrams. Birkhaüser (2013)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,611

External links

  • This entry has no external links. Add one.
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

The Semiotics of Spider Diagrams.James Burton & John Howse - 2017 - Logica Universalis 11 (2):177-204.
Generating readable proofs: A heuristic approach to theorem proving with spider diagrams.Jean Flower, Judith Masthoff & Gem Stapleton - 2004 - In A. Blackwell, K. Marriott & A. Shimojima (eds.), Diagrammatic Representation and Inference. Springer. pp. 166--181.
Counter-Example Construction with Euler Diagrams.Ryo Takemura - 2015 - Studia Logica 103 (4):669-696.
Speedith: A Reasoner for Spider Diagrams.Matej Urbas, Mateja Jamnik & Gem Stapleton - 2015 - Journal of Logic, Language and Information 24 (4):487-540.
Diagrams in Mathematics.Carlo Cellucci - 2019 - Foundations of Science 24 (3):583-604.
Diagrams, Logic and Representation.Eric Morgan Hammer - 1995 - Dissertation, Indiana University
Exploratory diagrams.Kenning Dean - unknown
Rethinking our understanding of diagrams.Kamaran Fathulla - 2011 - Semiotica 2011 (184):123-137.
Set Venn Diagrams Applied to Inclusions and Non-inclusions.Renata de Freitas & Petrucio Viana - 2015 - Journal of Logic, Language and Information 24 (4):457-485.
What are mathematical diagrams?Silvia De Toffoli - 2022 - Synthese 200 (2):1-29.
Diagrams and Natural Deduction: Theory and Pedagogy of Hyperproof.Ruth Eberle - 1995 - Dissertation, Indiana University
Diagrams in Geometry.Isabel Palomino Luengo - 1995 - Dissertation, Indiana University
Logic and Visual Information.Eric Hammer - 1995 - CSLI Publications.
Peirce and the logical status of diagrams.Sun-joo Shin - 1994 - History and Philosophy of Logic 15 (1):45-68.
Diagrams as sketches.Brice Halimi - 2012 - Synthese 186 (1):387-409.

Analytics

Added to PP
2022-12-19

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Valeria Giardino
Centre National de la Recherche Scientifique

Citations of this work

Add more citations

References found in this work

No references found.

Add more references