Minimal Sequent Calculus for Teaching First-Order Logic: Lessons Learned
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866918014953193472 |
|---|---|
| author | Villadsen, Jørgen |
| author_facet | Villadsen, Jørgen |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2505_05988 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Minimal Sequent Calculus for Teaching First-Order Logic: Lessons Learned Villadsen, Jørgen Logic in Computer Science Artificial Intelligence F.4; I.2.3; K.3.1 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. |
| title | Minimal Sequent Calculus for Teaching First-Order Logic: Lessons Learned |
| topic | Logic in Computer Science Artificial Intelligence F.4; I.2.3; K.3.1 |
| url | https://arxiv.org/abs/2505.05988 |