Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/356264
Type: Artigo
Title: Adding logic to the toolbox of molecular biology
Author: Boniolo, Giovanni
D'Agostino, Marcello
Piazza, Mario
Pulcini, Gabriele
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
Subject: Isomorfismos (Matemática)
Lógica
Country: Países Baixos
Editor: Springer
Rights: Fechado
Identifier DOI: 10.1007/s13194-015-0118-9
Address: https://link.springer.com/article/10.1007/s13194-015-0118-9
Date Issue: 2015
Appears in Collections:CLE - Artigos e Outros Documentos

Files in This Item:
File Description SizeFormat 
000360538400009.pdf968.56 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.