On diagram tokens and types

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2317, Issue , 2002, Pages 146-160

  Howse, John ^a   Molina, Fernando ^a   Shin, Sun Joo ^b   Taylor, John ^a  

^a UNIVERSITY OF BRIGHTON   (United Kingdom)

^b UNIVERSITY OF NOTRE DAME   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

GRAPHIC METHODS;

EULER DIAGRAMS; FINE GRAINED; FORMAL DEFINITION; META LEVELS; META-THEORY; PHYSICAL MEDIUM;

SYNTACTICS;

EID: 84893115009     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46037-3_18     Document Type: Conference Paper

References (14)

1. L. Euler. Lettres a Une Princesse dAllemagne, vol 2. 1761. Letters No. 102-108.
2. J. Flower, J. Howse. Generating Euler Diagrams. Accepted for Diagrams 2002.
3. J. Gil, J. Howse, S. Kent. Towards a formalization of constraint diagrams, Proc Symp on Human-Centric Computing, Stresa, Sept 2001. IEEE Press
4. N. Goodman. Languages of Art: An approachto a theory of symbols. Hackett Publishing Co, INC. 1976.
5. C. Gurr, J. Lee and K. Stenning. Theories of diagrammatic reasoning: Distinguishing component problems, in Minds and Machines 8, 533-557, 1998.
6. E. Hammer. Logic and Visual Information. CSLI Publications, 1995.
7. D. Harel. On visual formalisms. In J. Glasgow, N. H. Narayan, B. Chandrasekaran, eds, Diagrammatic Reasoning, 235-271. MIT Press, 1998.
8. T. More. On the construction of Venn diagrams. J Symb Logic, 24, 303-304, 1959.
9. OMG. UML Specification, Version 1.3. Available from www.omg.org.
10. C. Peirce. Collected Papers Vol. 4. Harvard Univ. Press, 1933.
11. P. Scotto di Luzio. Patching up a logic of Venn diagrams. Proc. 6th CSLI WS on Logic, Language and Computation. CSLI Publications, Stanford, 2000.
12. A. Shimojima. Operational constraints in diagrammatic reasoning, in J. Barwise, G. Allwein eds. Logical Reasoning withDiagr ams. OUP, New York, 27-48, 1996.
13. S.-J. Shin. The Logical Status of Diagrams. CUP, 1994.
14. J. Venn. On the diagrammatic and mechanical representation of propositions and reasonings. Phil.Mag., 1880. 123.