Minimal Sequent Calculus for Teaching First-Order Logic: Lessons Learned

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.

Authors

Jørgen Villadsen (ORCID: https://orcid.org/0000-0003-3624-1159)

Institutions

Technical University of Denmark (DK)

Publication Details

Journal: Electronic Proceedings in Theoretical Computer Science
Published: 2025-05-07
DOI: https://doi.org/10.4204/eptcs.419.5
Citations: 1
Primary Topic: Logic, Reasoning, and Knowledge
Type: article
Field-Weighted Citation Impact: 2.48

Controls

|||

ALL TIME

JAN

FEB

MAR

APR

MAY

JUN

JUL

AUG

SEP

OCT

article

Minimal Sequent Calculus for Teaching First-Order Logic: Lessons Learned

Jørgen Villadsen

May 7, 2025

1 citations

Electronic Proceedings in Theoretical Computer Science

Logic, Reasoning, and Knowledge

2.48

article

Minimal Sequent Calculus for Teaching First-Order Logic: Lessons Learned

Jørgen Villadsen

May 7, 2025article en

1 citations

Abstract

Electronic Proceedings in Theoretical Computer ScienceVol. 419

Technical University of Denmark (DK)

Quality Education

Openalex Percentile: Top 11%

Logic, Reasoning, and Knowledge

2.48

DOI Open Access PDF OpenAlex

AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Minimal Sequent Calculus for Teaching First-Order Logic: Lessons Learned — Jørgen Villadsen · Electronic Proceedings in Theoretical Computer Science (2025) | TGRS Research Map | TGRS