Busca avançada
Ano de início
Entree
(Referência obtida automaticamente do Web of Science, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores.)

Adding logic to the toolbox of molecular biology

Texto completo
Autor(es):
Boniolo, Giovanni [1, 2] ; D'Agostino, Marcello [3] ; Piazza, Mario [4] ; Pulcini, Gabriele [5]
Número total de Autores: 4
Afiliação do(s) autor(es):
[1] Univ Milan, Dipartimento Sci Salute, Milan - Italy
[2] Ist Europeo Oncol, Dept Expt Oncol, Milan - Italy
[3] Univ Ferrara, Dept Econ & Management, I-44100 Ferrara - Italy
[4] Univ G dAnnunzio, Dept Philosophy, Pescara - Italy
[5] Univ Estadual Campinas, Ctr Log Epistemol & Hist Sci, Campinas, SP - Brazil
Número total de Afiliações: 5
Tipo de documento: Artigo Científico
Fonte: EUROPEAN JOURNAL FOR PHILOSOPHY OF SCIENCE; v. 5, n. 3, p. 399-417, OCT 2015.
Citações Web of Science: 6
Resumo

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. (AU)

Processo FAPESP: 13/22371-0 - Em direção a um marco lógico unitário para a não-monotonidade e a paraconsistência
Beneficiário:Gabriele Pulcini
Linha de fomento: Bolsas no Brasil - Pós-Doutorado