Toward the rigorous use of diagrams in reasoning about hardware

, &
In Gerard Allwein & Jon Barwise (eds.), Logical Reasoning with Diagrams. Oxford University Press (1996)
  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,202

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

Exploiting the potential of diagrams in guiding hardware reasoning.Kathryn Fisler - 1996 - In Gerard Allwein & Jon Barwise (eds.), Logical Reasoning with Diagrams. Oxford University Press. pp. 225--256.
Gerard Allwein and Jon Barwise, eds., Logical Reasoning with Diagrams.M. De Rijke - 1999 - Journal of Logic Language and Information 8:387-390.
Logical reasoning with diagrams, Gerard Allwein and Jon Barwise, eds.Maarten de Rijke - 1999 - Journal of Logic, Language and Information 8 (3):387-390.
Logical reasoning with diagrams.Gerard Allwein & Jon Barwise (eds.) - 1996 - New York: Oxford University Press.
G. Allwein and J. Barwise (eds.), Logical reasoning with diagrams.T. Hailperin - 1996 - History and Philosophy of Logic 17:169-169.
Reasoning with Sentences and Diagrams.Eric Hammer - 1994 - Notre Dame Journal of Formal Logic 35 (1):73-87.
Situation-theoretic account of valid reasoning with Venn diagrams.Sun-Joo Shin - 1996 - In Gerard Allwein & Jon Barwise (eds.), Logical Reasoning with Diagrams. Oxford University Press.
And so on...: reasoning with infinite diagrams.Solomon Feferman - 2012 - Synthese 186 (1):371 - 386.
Diagrams and the concept of logical system.Jon Barwise & Eric Hammer - 1996 - In Gerard Allwein & Jon Barwise (eds.), Logical Reasoning with Diagrams. Oxford University Press.
Main problems of diagrammatic reasoning. Part I: The generalization problem. [REVIEW]Zenon Kulpa - 2009 - Foundations of Science 14 (1-2):75-96.
Argument diagram extraction from evidential Bayesian networks.Jeroen Keppens - 2012 - Artificial Intelligence and Law 20 (2):109-143.
Diagrams as sketches.Brice Halimi - 2012 - Synthese 186 (1):387-409.
Timing diagrams: Formalization and algorithmic verification. [REVIEW]Kathi Fisler - 1999 - Journal of Logic, Language and Information 8 (3):323-361.
The Tinctures and Implicit Quantification over Worlds.Jay Zeman - 1997 - In Paul Forster & Jacqueline Brunning (eds.), The Rule of Reason: The Philosophy of C.S. Peirce. University of Toronto Press. pp. 96-119.
Diagrams as locality aids for explanation and model construction in cell biology.Nicholaos Jones & Olaf Wolkenhauer - 2012 - Biology and Philosophy 27 (5):705-721.

Analytics

Added to PP
2014-01-28

Downloads
20 (#723,940)

6 months
4 (#698,851)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Contours of Vision: Towards a Compositional Semantics of Perception.Kevin J. Lande - forthcoming - British Journal for the Philosophy of Science.
Mental Structures.Kevin J. Lande - 2020 - Noûs (3):649-677.

View all 27 citations / Add more citations

References found in this work

No references found.

Add more references