一种用于约束转移系统的混合线性逻辑及其在分子生物学中的应用
计算机科学中的逻辑
2013-10-17 v1
摘要
线性蕴涵可以表示状态转移，但真实的转移系统在时间、随机或概率约束下运行，而这些约束无法直接在普通线性逻辑中表示。我们提出了一种直觉主义线性逻辑的通用模态扩展，其中逻辑真理由约束索引，混合连接词将约束推理与逻辑推理相结合。该逻辑具有聚焦的无切相继演算，可用于内化特定约束转移系统的规则；我们以同步随机 -演算的充分编码为例说明了这一点。我们还展示了在该逻辑中直接编码生物系统的一些初步实验。
引用
@article{arxiv.1310.4310,
title = {A Hybrid Linear Logic for Constrained Transition Systems with Applications to Molecular Biology},
author = {Kaustuv Chaudhuri and Joelle Despeyroux},
journal= {arXiv preprint arXiv:1310.4310},
year = {2013}
}