11 citations · 23 across the 8 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…