Please use this identifier to cite or link to this item:
|Title:||Adding logic to the toolbox of molecular biology|
|Abstract:||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|
|Appears in Collections:||CLE - Artigos e Outros Documentos|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.