Pandora: A Reasoning Toolbox using Natural Deduction Style

Abstract

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… (More)
DOI: 10.1093/jigpal/jzm020

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics