7 citations · 7 across the 1 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…