A Hybrid Linear Logic for Constrained Transition Systems with Applications to Molecular Biology - Archive ouverte HAL Access content directly
Reports (Research Report) Year : 2013

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

(1) , (2)
1
2

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.
Fichier principal
Vignette du fichier
hyll-report.pdf (364.96 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00402942 , version 1 (01-10-2009)
inria-00402942 , version 2 (01-10-2009)
inria-00402942 , version 3 (21-10-2009)
inria-00402942 , version 4 (10-12-2010)
inria-00402942 , version 5 (16-10-2013)

Identifiers

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

Cite

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

Altmetric

Share

Gmail Facebook Twitter LinkedIn More