Resource-distribution via Boolean constraints

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…