(Mathematical) Logic for Systems Biology (Invited Paper)
CMSB, Volume abs/1701.05063, 2016.
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 calcu...更多
PDF 全文 (上传PDF)