Pandora: A Reasoning Toolbox using Natural Deduction Style

Pandora is a tool for supporting the learning of first order natural deduction. It includes a help window, an interactive context sensitive tutorial known as the ‘‘e-tutor’’ and facilities to save, reload and export to . Every attempt to apply a natural deduction rule is met with either success or a helpful error message, providing the student with instant feedback. Detailed electronic logs of student usage are recorded for evaluation purposes. This paper describes the basic functionality, the e-tutor, our experiences of using the tool in teaching and our future plans.

• Type: Journal
• Year: 2007
• Where: IGPL
• Authors: Krysia Broda, Jiefei Ma, Gabrielle Sinnadurai, Alexander J. Summers
• Keywords: IGPL 2007, Natural Deduction, Natural Deduction Rule, Order Natural Deduction