PDC Homepage
Home » Products » Purchase

The Monist

Volume 82, Issue 1, January 1999

Philosophy of Computer Science

G. Graham White
Pages 165-184

Simulation, Theory, and Cut Elimination

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 cut-free proofs, whereas deductions correspond to proofs in general.