A Hybrid Linear Logic for Constrained Transition SystemsReportar como inadecuado

A Hybrid Linear Logic for Constrained Transition Systems - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 Inria - Institut National de Recherche en Informatique et en Automatique 2 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.

Keywords : linear logic hybrid logic stochastic pi-calculus focusing adequacy

Autor: Joelle Despeyroux - Kaustuv Chaudhuri -

Fuente: https://hal.archives-ouvertes.fr/


Documentos relacionados