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

Kaustuv Chaudhuri 1, * Joelle Despeyroux 2, *
* Auteur correspondant
1 PARSIFAL - Proof search and reasoning with logic specifications
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, Polytechnique - X, CNRS - Centre National de la Recherche Scientifique : UMR7161
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.
Type de document :
Rapport
[Research Report] 2013, pp.30
Liste complète des métadonnées

Littérature citée [39 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00402942
Contributeur : Joelle Despeyroux <>
Soumis le : mercredi 16 octobre 2013 - 11:45:15
Dernière modification le : lundi 4 décembre 2017 - 15:14:11
Document(s) archivé(s) le : vendredi 17 janvier 2014 - 04:38:52

Fichiers

hyll-report.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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

Collections

Citation

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

Partager

Métriques

Consultations de la notice

503

Téléchargements de fichiers

216