Switch to: References

Add citations

You must login to add citations.
  1. Adding logic to the toolbox of molecular biology.Giovanni Boniolo, Marcello D’Agostino, Mario Piazza & Gabriele Pulcini - 2015 - European Journal for Philosophy of Science 5 (3):399-417.
    The aim of this paper is to argue that logic can 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.
    Download  
     
    Export citation  
     
    Bookmark   6 citations