Pandora: A Reasoning Toolbox using Natural Deduction Style

DOI10.1093/JIGPAL/JZM020MaRDI QIDQ5427794zbMATH OpenOpenAlexFDO

Authors Jiefei Ma, Gabrielle Sinnadurai, Alexander J. Summers, Krysia Broda

Publication date 27 November 2007

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/a8c7a38a8d0b7402f94e19c9ce2bcb414ed18693

zbMATH Keywords

e-learningfirst-order logicFitch box prooflearningnatural deductionpredicate logicreasoning about programsteaching

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Problem books, competitions, examinations (aspects of mathematics education) (97U40) Technological tools, calculators (aspects of mathematics education) (97U70)

Recommendations

• The AProS Project: Strategic Thinking & Computational Logic
• scientific article; zbMATH DE number 3922016
• scientific article; zbMATH DE number 1497860
• Natural Deduction Environment for Matita
• \textit{Symlog}. Automated advice in Fitch-style proof construction

Cited in

(4)

• Pandora
• SOLAR: An automated deduction system for consequence finding
• Natural Deduction Environment for Matita
• ORGANON The Web Tutor for Basic Logic Courses

This page was built for publication: Pandora: A Reasoning Toolbox using Natural Deduction Style

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5427794)