Incorporating negation into visual logics: A case study using euler diagrams

Proceedings: DMS 2007 - 13th International Conference on Distributed Multimedia Systems

Volumn , Issue , 2007, Pages 187-194

  Stapleton, Gem ^a   Masthoff, Judith ^b  

^a UNIVERSITY OF BRIGHTON   (United Kingdom)

^b UNIVERSITY OF ABERDEEN   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

MULTIMEDIA SYSTEMS;

DIAGRAMMATIC LOGIC; EULER DIAGRAMS; PROOF STRATEGY; REASONING RULES; SEMANTIC TABLEAU; SOUND AND COMPLETE; VISUAL LOGIC;

SEMANTICS;

EID: 84923879244     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. L. Choudhury and M. K. Chakraborty. On extending Venn diagrams by augmenting names of individuals. In Proceedings of 3rd International Conference on the Theory and Application of Diagrams, volume 2980 of LNAI, pages 142–146. Springer-Verlag, March 2004.
2. A. Fish and J. Flower. Investigating reasoning with constraint diagrams. In Visual Language and Formal Methods 2004, volume 127 of ENTCS, pages 53–69, Rome, Italy, 2005. Elsevier.
3. A. Fish, J. Flower, and J. Howse. The semantics of augmented constraint diagrams. Journal of Visual Languages and Computing, 16:541–573, 2005.
4. E. Hammer. Logic and Visual Information. CSLI Publications, 1995.
5. J. Howse, G. Stapleton, and J. Taylor. Spider diagrams. LMS Journal of Computation and Mathematics, 8:145–194, 2005.
6. S. Kent. Constraint diagrams: Visualizing invariants in object oriented modelling. In Proceedings of OOPSLA97, pages 327–341. ACM Press, October 1997.
7. O. Patrascoiu, S. Thompson, and P. Rodgers. Tableaux for diagrammatic reasoning. In Proceedings of the Eleventh International Conference on Distributed Multimedia Systems, International Workshop on Visual Languages and Computing, pages 279–286. Knowledge Systems Institute, September 2005.
8. C. Peirce. Collected Papers, volume 4. Harvard University Press, 1933.
9. S.-J. Shin. The Logical Status of Diagrams. Cambridge University Press, 1994.
10. G. Stapleton, J. Howse, and J. Taylor. A constraint diagram reasoning system. In Proceedings of International Conference on Visual Languages and Computing, pages 263–270. Knowledge Systems Insitute, 2003.
11. G. Stapleton, J. Howse, and J. Taylor. A decidable constraint diagram reasoning system. Journal of Logic and Computation, 15(6):975–1008, December 2005.
12. G. Stapleton, J. Masthoff, J. Flower, A. Fish, and J. Southern. Automated theorem proving in Euler diagrams systems. Accepted for Journal of Automated Reasoning, to appear 2007.
13. G. Stapleton, S. Thompson, J. Howse, and J. Taylor. The expressiveness of spider diagrams. Journal of Logic and Computation, 14(6):857–880, December 2004.
14. N. Swoboda and G. Allwein. Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference. Journal on Software and System Modeling, 3(2):136–149, 2004.
15. N. Swoboda and G. Allwein. Heterogeneous reasoning with Euler/Venn diagrams containing named constants and FOL. In Proceedings of Euler Diagrams 2004, volume 134 of ENTCS. Elsevier Science, 2005.