11 citations · 36 across the 19 of their papers we have counts for
1 paper · 1 filter
James Harland, David Pym
We consider the problem of searching for proofs in sequential presentations of logics with multiplicative (or intensional) connectives. Specifically, we start with the multiplicati…