11 citations · 17 across the 10 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.AI2026
Mathematical Proof Assistants for Teaching Logic: The LogiKEy Methodology
Christoph Benzmüller, David Fuenmayor, Luca Pasetto
We report on an approach to teaching logic to mixed groups of computer science, mathematics, and philosophy students, based on the logico-pluralistic LogiKEy methodology, used for…
math.LO2026
Discernment is all you need
David Fuenmayor
We explore the expressive power of HOL, a system of higher-order logic, and its relationship to the simply-typed lambda calculus and Church's simple theory of types, arguing for th…