Diagrammatic Inference and Graphical Proof

In L. Magnani, N. J. Nersessian & C. Pizzi (eds.), Logical and Computational Aspects of Model-Based Reasoning. Kluwer Academic Publishers. pp. 73--91 (2002)
  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: 91,592

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

A Diagrammatic Inference System with Euler Circles.Koji Mineshima, Mitsuhiro Okada & Ryo Takemura - 2012 - Journal of Logic, Language and Information 21 (3):365-391.
That We See That Some Diagrammatic Proofs Are Perfectly Rigorous.Jody Azzouni - 2013 - Philosophia Mathematica 21 (3):323-338.
Inferential and expressive capacities of graphical representations: Survey and some generalizations.Atsushi Shimojima - 2004 - In A. Blackwell, K. Marriott & A. Shimojima (eds.), Diagrammatic Representation and Inference. Springer. pp. 18--21.
Speech and graphical interaction in multimodal communication.Ichiro Umata, Atsushi Shimojima & Yasuhiro Katagiri - 2004 - In A. Blackwell, K. Marriott & A. Shimojima (eds.), Diagrammatic Representation and Inference. Springer. pp. 316--328.
Picturing classical and quantum Bayesian inference.Bob Coecke & Robert W. Spekkens - 2012 - Synthese 186 (3):651 - 696.
An Eye-Tracking Study of Exploitations of Spatial Constraints in Diagrammatic Reasoning.Atsushi Shimojima & Yasuhiro Katagiri - 2013 - Cognitive Science 37 (2):211-254.
Logic in Pictures: An Examination of Diagrammatic Representations, Graph Theory and Logic.Derik Hawley - unknown
On automating diagrammatic proofs of arithmetic arguments.Mateja Jamnik, Alan Bundy & Ian Green - 1999 - Journal of Logic, Language and Information 8 (3):297-321.
Peirce's diagrammatic logic in IF perspective.Ahti-Veikko Pietarinen - 2004 - In A. Blackwell, K. Marriott & A. Shimojima (eds.), Diagrammatic Representation and Inference. Springer. pp. 97--111.
The forgotten individual: diagrammatic reasoning in mathematics.Sun-Joo Shin - 2012 - Synthese 186 (1):149-168.
Roles of diagrammatic information for the discovery of geometrical theorems.Tsuyoshi Murata - 2004 - In A. Blackwell, K. Marriott & A. Shimojima (eds.), Diagrammatic Representation and Inference. Springer. pp. 235--238.
Predictors of success in diagrammatic problem solving.Daesub Yoon & N. Hari Narayanan - 2004 - In A. Blackwell, K. Marriott & A. Shimojima (eds.), Diagrammatic Representation and Inference. Springer. pp. 301--315.
Making TRACS: The diagrammatic design of a double-sided deck.Kevin Burns - 2004 - In A. Blackwell, K. Marriott & A. Shimojima (eds.), Diagrammatic Representation and Inference. Springer. pp. 341--343.
Inter-diagrammatic reasoning and digital geometry.Robert McCartney & Passent El-Kafrawy - 2004 - In A. Blackwell, K. Marriott & A. Shimojima (eds.), Diagrammatic Representation and Inference. Springer. pp. 199--215.
Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization.Ryo Takemura - 2013 - Studia Logica 101 (1):157-191.

Analytics

Added to PP
2014-01-28

Downloads
14 (#983,512)

6 months
2 (#1,192,610)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references