13 citations · 24 across the 5 of their papers we have counts for
1 paper · 1 filter
Arno Ehle, Norbert Hundeshagen, Martin Lange
The sequent calculus is a formalism for proving validity of statements formulated in First-Order Logic. It is routinely used in computer science modules on mathematical logic. Form…