科研之友
微信
新浪微博
Facebook
分享链接
摘要
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.
- 出版日期2015-10
