（数学）系统生物学逻辑（特邀论文）
(Mathematical) Logic for Systems Biology (Invited Paper)
摘要：
在这里，我们主张使用（数学）逻辑系统生物学，作为一个统一的框架，非常适合建模的动态行为的生物系统，表达他们的属性，并验证这些属性。潜在的候选逻辑应该有一个传统的证明理论谱系（包括一个享受切割消除和聚焦的微积分演示），并且应该带有（认证的）证明工具。除了提供一个可靠的框架外，这还允许对我们的生物系统进行适当的编码。我们提出了两个候选逻辑（线性逻辑的两个模态扩展，称为HyLL和SELL），以及生物学的例子。到目前为止，我们所考虑的例子都是非常简单的，都是用Coq进行完全形式化（交互式）证明的。未来的工作包括使用自动证明，这将扩展现有的线性逻辑自动证明。这将使我们能够在系统生物学、生物医学（诊断和预后）以及最终的神经科学中指定和研究更现实的例子。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
