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.