Minimal Sequent Calculus for Teaching First-Order Logic: Lessons Learned
arXiv:2505.05988v1ThEdu@CADE
Originality Synthesis-oriented
AI Analysis
This is an incremental tool for educators and students in logic education, focusing on practical teaching applications.
The authors tackled the challenge of teaching first-order logic by developing MiniCalc, a web app based on a minimal sequent calculus, and shared insights from its use at their university, though no concrete numerical results were provided.
MiniCalc is a web app for teaching first-order logic based on a minimal sequent calculus. As an option the proofs can be verified in the Isabelle proof assistant. We present the lessons learned using the tool in recent years at our university.