Shin, S. J. 1991. Valid Rreasoning and Visual Representation, PhD Thesis, Stanford University. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Topological Reasoning and The Logic of Knowledge - Dabrowski, Moss, Parikh (Correct)
....in our logic could be used, for example, in getting a formal account of the well known analogies between recursion theory and descriptive set theory. A final motivation for our work is the development of logical tools for visual reasoning, and with educational software that goes with this. Shin [Sh] gave a formal account of the use of Venn Diagrams as a tool in elementary reasoning. In a sense, her work is part of an ongoing rehabilitation of diagrammatic reasoning vis a vis purely symbolic manipulation. We believe that elementary topology should be amenable to a similar treatment, since in ....
Shin, S. J. 1991. Valid Rreasoning and Visual Representation, PhD Thesis, Stanford University.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC