A proof theoretic view of spatial and temporal dependencies in biochemical systems