Data di Pubblicazione:
2015
Citazione:
Adding logic to the toolbox of molecular biology / G. Boniolo, M. D’Agostino, M. Piazza, G. Pulcini. - In: EUROPEAN JOURNAL FOR PHILOSOPHY OF SCIENCE. - ISSN 1879-4912. - 5:3(2015 Oct), pp. 399-417. [10.1007/s13194-015-0118-9]
Abstract:
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.
Tipologia IRIS:
01 - Articolo su periodico
Keywords:
Substructural logics · Natural deduction · Curry-Howard isomorphism ·
State transitions · Biochemical pathways · Zsyntax
Elenco autori:
G. Boniolo, M. D’Agostino, M. Piazza, G. Pulcini
Link alla scheda completa: