Pandora: A Reasoning Toolbox using Natural Deduction Style

From MaRDI portal

Publication:5427794

Jump to:navigation, search

DOI10.1093/jigpal/jzm020zbMath1127.03300OpenAlexW2053119509MaRDI QIDQ5427794

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

Publication date: 27 November 2007

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

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

zbMATH Keywords

learning first-order logic natural deduction predicate logic reasoning about programs teaching e-learning Fitch box proof

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)

Related Items (1)

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5427794&oldid=20182141"