(Mathematical) logic for systems biology (invited paper)
From MaRDI portal
Publication:1706576
DOI10.1007/978-3-319-45177-0_1zbMATH Open1382.92142arXiv1701.05063OpenAlexW3104326986MaRDI QIDQ1706576FDOQ1706576
Publication date: 22 March 2018
Abstract: We advocates here the use of (mathematical) logic for systems biology, as a unified framework well suited for both modeling the dynamic behaviour of biological systems, expressing properties of them, and verifying these properties. The potential candidate logics should have a traditional proof theoretic pedigree (including a sequent calculus presentation enjoying cut-elimination and focusing), and should come with (certified) proof tools. Beyond providing a reliable framework, this allows the adequate encodings of our biological systems. We present two candidate logics (two modal extensions of linear logic, called HyLL and SELL), along with biological examples. The examples we have considered so far are very simple ones-coming with completely formal (interactive) proofs in Coq. Future works includes using automatic provers, which would extend existing automatic provers for linear logic. This should enable us to specify and study more realistic examples in systems biology, biomedicine (diagnosis and prognosis), and eventually neuroscience.
Full work available at URL: https://arxiv.org/abs/1701.05063
Cited In (5)
Uses Software
This page was built for publication: (Mathematical) logic for systems biology (invited paper)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1706576)
