Simulation, Theory, and Cut Elimination
G. Graham White · The Monist · 1999
This paper is concerned with the contrast between simulation- and deduction-based approaches to reasoning about physical objects. We show that linear logic can give a unified account of both simulation and deduction concerning physical objects; it also allows us to draw a principled distinction between simulation and deduction, since simulations correspond to cutfree proofs, whereas deductions correspond to proofs in general.