Edinburgh Research Explorer

An Experimental Comparison of Diagrammatic and Algebraic Logics

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Related Edinburgh Organisations

Documents

Original languageEnglish
Title of host publicationDiagrammatic Representation and Inference
Subtitle of host publicationThird International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004. Proceedings
PublisherSpringer Berlin Heidelberg
Pages432-434
Number of pages3
ISBN (Electronic)978-3-540-25931-2
ISBN (Print)978-3-540-21268-3
DOIs
StatePublished - 2004

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
Volume2980
ISSN (Print)0302-9743

Abstract

We have developed a diagrammatic logic for theorem proving, focusing on the domain of metric-space analysis (a geometric domain, but traditionally taught using a dry algebraic formalism). To evaluate its pragmatic value, pilot experiments were conducted using this logic - implemented in an interactive theorem prover - to teach undergraduate students (and comparing performance against an equivalent algebraic logic). Our results show significantly better performance for students using diagrammatic reasoning. We conclude that diagrams are a useful tool for reasoning in such domains.

Download statistics

No data available

ID: 6322152