Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:An Experimental Comparison of Diagrammatic and Algebraic Logics
Authors: Daniel Winterstein ; Alan Bundy ; Corin Gurr ; Mateja Jamnik
Date: 2004
Publication Title:Diagrams 2004
We have developed a diagrammatic logic for theorem prov- ing, 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 us- ing diagrammatic reasoning. We conclude that diagrams are a useful tool for reasoning in such domains.
2005 by The University of Edinburgh. All Rights Reserved
Links To Paper
No links available
Bibtex format
author = { Daniel Winterstein and Alan Bundy and Corin Gurr and Mateja Jamnik },
title = {An Experimental Comparison of Diagrammatic and Algebraic Logics},
year = 2004,

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh