Skip to Main content Skip to Navigation

A Hybrid Linear Logic for Constrained Transition Systems with Applications to Molecular Biology

Kaustuv Chaudhuri 1, * Joelle Despeyroux 2, *
* Corresponding author
1 PARSIFAL - Proof search and reasoning with logic specifications
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
2 Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe BIOINFO
Laboratoire I3S - MDSC - Modèles Discrets pour les Systèmes Complexes
Abstract : Linear implication can represent state transitions, but real transition systems operate under temporal, stochastic or probabilistic constraints that are not directly representable in ordinary linear logic. We propose a general modal extension of intuitionistic linear logic where logical truth is indexed by constraints and hybrid connectives combine constraint reasoning with logical reasoning. The logic has a focused cut-free sequent calculus that can be used to internalize the rules of particular constrained transition systems; we illustrate this with an adequate encoding of the synchronous stochastic pi-calculus. We also present some preliminary experiments of direct encoding of biological systems in the logic.
Document type :
Complete list of metadata

Cited literature [39 references]  Display  Hide  Download
Contributor : Joelle Despeyroux Connect in order to contact the contributor
Submitted on : Wednesday, October 16, 2013 - 11:45:15 AM
Last modification on : Thursday, January 20, 2022 - 5:32:23 PM
Long-term archiving on: : Friday, January 17, 2014 - 4:38:52 AM


Files produced by the author(s)


  • HAL Id : inria-00402942, version 5
  • ARXIV : 1310.4310



Kaustuv Chaudhuri, Joelle Despeyroux. A Hybrid Linear Logic for Constrained Transition Systems with Applications to Molecular Biology. [Research Report] 2013, pp.30. ⟨inria-00402942v5⟩



Les métriques sont temporairement indisponibles