Pandora: A reasoning toolbox using natural deduction style

Logic Journal of the IGPL

Volumn 15, Issue 4, 2007, Pages 293-304

  Broda, Krysia ^a   Ma, Jiefei ^a   Sinnadurai, Gabrielle ^a   Summers, Alexander ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

E learning; First order logic; Fitch box oproof; Learning; Natural deduction; Predicate logic; Reasoning about programs; Teaching

Indexed keywords

COMPUTER CIRCUITS; E-LEARNING; TEACHING;

CONTEXT-SENSITIVE; E - LEARNING; E-TUTOR; FIRST ORDER; FIRST ORDER LOGIC; FITCH BOX OPROOF; LEARNING; NATURAL DEDUCTION; PREDICATE LOGIC; REASONING ABOUT PROGRAMS;

FORMAL LOGIC;

EID: 34948910726     PISSN: 13670751     EISSN: 13689894     Source Type: Journal    
DOI: 10.1093/jigpal/jzm020     Document Type: Article

References (14)

1. K. Broda, S. Eisenbach and L. Kamara. Tools for Natural Deduction, Proceedings of First Australian Conference on Computer Science Education ACSE96, CACM, pp 119-126, 1996.
2. K. Broda, S. Eisenbach, H. Khoshnevisan, S. Vickers. Reasoned Programming, Prentice-Hall, 1994. (Available at [8].)
3. K. Broda, J. Ma, G. Sinnadurai and A. Summers. Pandora: Natural Deduction made Easy, in [11], pp 11-14.
4. W. Clocksin and C. Mellish. Programming in Prolog: Using the ISO Standard, Springer-Verlag, 2003.
5. http://jape.comlab.ox.ac.uk:8080/jape/
6. http://www.cl.cam.ac.uk/Research/HVG/Isabelle/
7. http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/library/HOL/IMP/ index.html
8. http://www.doc.ic.ac.uk/pandora/
9. http://www.phil.cmu.edu/projects/apros/
10. T. Nipkow. Winskel is (almost) Right: Towards a Mechanized Semantics Textbook, Foundations of Software Technology and Theoretical Computer Science, ed. V. Chandru and V. Vinay, Springer LNCS 1180, pp 180-192, 1996.
11. Proceedings of the second international congress on tools for teaching logic, Eds: Maria Manzano, Belen Perez Lancho and Ana Gil, Salamanca, 2006.
12. W. Sieg. STRATEGIC THINKING: Web-based and dynamically tutored, in [11], pp 199-200.
13. W. Sieg and J. Byrnes. Normal Natural Deduction Proofs (in classical logic), Studia Logica 60: Pp 67-106, 1998.
14. G. Winskel. The Formal Semantics of Programming Languages, MIT, 1993.