Minimal Sequent Calculus for Teaching First-Order Logic: Lessons Learned
Logic in Computer Science
2025-05-12 v1 Artificial Intelligence
Abstract
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.
Cite
@article{arxiv.2505.05988,
title = {Minimal Sequent Calculus for Teaching First-Order Logic: Lessons Learned},
author = {Jørgen Villadsen},
journal= {arXiv preprint arXiv:2505.05988},
year = {2025}
}
Comments
In Proceedings ThEdu24, arXiv:2505.04677