 |
|
| HAL: inria-00402942, version 4 |
| See detailed view |  BibTeX,EndNote,... |
 |
| Available versions | v1 (2009-10-01) | v2 (2009-10-01) | v3 (2009-10-21) | v4 (2010-12-14) |
|
|
|
|
| A Hybrid Linear Logic for Constrained Transition Systems with Applications to Molecular Biology |
|
|
Kaustuv Chaudhuri 1Joelle Despeyroux 1 |
|
|
| (2010-12-10) |
|
|
|
| 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. |
|
|
|
|
|
|
|
|
|
|
|
| 1: | PARSIFAL (INRIA Saclay - Ile de France) |
|
|
|
INRIA – Polytechnique - X – CNRS : UMR7161 |
|
|
|
|
|
|
|
|
|
| Domain | : | Computer Science/Logic in Computer Science |
|
|
| linear logic – hybrid logic – stochastic pi calculus – focusing – representational adequacy – molecular biology |
|
|
|
| Attached file list to this document: | ||||||||||
|
||||||||||
|
|
|
| inria-00402942, version 4 | |
| http://hal.inria.fr/inria-00402942 | |
| oai:hal.inria.fr:inria-00402942 | |
| From: Joelle Despeyroux | |
| Submitted on: Friday, 10 December 2010 14:58:37 | |
| Updated on: Tuesday, 15 January 2013 11:38:25 | |
