Simulation, Theory, And Cut Elimination[a].

Explores the contrast between simulation-based and deduction-based approaches to reasoning about physical objects. Linear logic's unified account of simulation and deduction; Principled distinction between simulation and deduction.