14 citations · 60 across the 17 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2016
The Explicit Definition of Quantifiers via Hilbert's epsilon is Confluent and Terminating
Claus-Peter Wirth
We investigate the elimination of quantifiers in first-order formulas via Hilbert's epsilon-operator (or -binder), following Bernays' explicit definitions of the existential and th…
cs.LO2009★ 3 cited
Lectures on Jacques Herbrand as a Logician
Claus-Peter Wirth, Joerg Siekmann, Christoph Benzmueller +1
We give some lectures on the work on formal logic of Jacques Herbrand, and sketch his life and his influence on automated theorem proving. The intended audience ranges from student…