Adding logic to the toolbox of molecular biology

The aim of this paper is to argue that logic can a play an important
role in the ``toolbox'' of molecular biology. We show how
biochemical pathways, i.e., transitions from a molecular aggregate to
another molecular aggregate, can be viewed as deductive processes. In
particular, our logical approach to molecular biology --- developed in
the form of a natural deduction system --- is centered on the notion
of Curry-Howard isomorphism, a cornerstone in nineteenth-century
proof-theory.