Toward the rigorous use of diagrams in reasoning about hardware

In Gerard Allwein & Jon Barwise (eds.), Logical Reasoning with Diagrams. Oxford University Press (1996)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 40,796
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

View all 18 citations / Add more citations

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 - 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.
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.
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.

Analytics

Added to PP index
2014-01-28

Total views
8 ( #794,885 of 2,244,034 )

Recent downloads (6 months)
4 ( #496,867 of 2,244,034 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature