IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Milano.
AIR nasce in UNIMI nel 2006 con lo scopo di raccogliere, documentare e conservare le informazioni sulla produzione scientifica dell'Università degli Studi di Milano e costituisce di fatto l'Anagrafe della ricerca dell'Ateneo.
EnglishThe 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.
| Titolo: | Adding logic to the toolbox of molecular biology |
| Autori: | |
| Parole Chiave: | Substructural logics · Natural deduction · Curry-Howard isomorphism · State transitions · Biochemical pathways · Zsyntax |
| Settore Scientifico Disciplinare: | Settore M-FIL/02 - Logica e Filosofia della Scienza |
| Data di pubblicazione: | ott-2015 |
| Rivista: | |
| Tipologia: | Article (author) |
| Data ahead of print / Data di stampa: | 30-giu-2015 |
| Digital Object Identifier (DOI): | 10.1007/s13194-015-0118-9 |
| Appare nelle tipologie: | 01 - Articolo su periodico |
File in questo prodotto:
| File | Descrizione | Tipologia | Licenza | |
|---|---|---|---|---|
| 2015_Zsyntax_Tool.pdf | Publisher's version/PDF | Administrator Richiedi una copia |
http://hdl.handle.net/2434/313278
Copyright © 2018