Monge’s problem refers to the classical problem of optimally transporting mass: given Borel probability measures μ = μ− on R, find the measure preserving map s(x) between them which minimizes the average distance transported. Here distance can be induced by the Euclidean norm, or any other uniformly convex and smooth norm d(x, y) = ‖x− y‖ onR. Although the solution is never unique, we give a ge...

We exploit a system of realizers for classical logic, and a translation from resolution into the sequent calculus, to assess the in-tuitionistic force of classical resolution for a fragment of intuitionistic logic. This approach is in contrast to formulating locally intuitionistically sound resolution rules. The techniques use the-calculus, a development of Parigot's-calculus.