A Modal Linear Logic for Distribution and Mobility - extended abstract - - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2002

A Modal Linear Logic for Distribution and Mobility - extended abstract -

Résumé

We present a multi-modal, first order, intuitionistic linear logic with locations, called DMLL. It is resource-sensitive and takes into account the notions of location and mobility of formulae (seen as resources) through the introduction of three modalities. We define a sequent calculus for which cut-elimination property is proved, a based-on resource semantic model and thus we prove the soundness and completeness of the calculus. Then, we discuss an extension of DMLL with quantifications over locations, called full-DMLL, and propose, from an appropriate subset, a new distributed process calculus with modalities. The relationships between computations and proof search in such logics will be studied and illustrated in some examples.
Fichier non déposé

Dates et versions

inria-00100792 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00100792 , version 1

Citer

Nicolas Biri, Didier Galmiche. A Modal Linear Logic for Distribution and Mobility - extended abstract -. Workshop on Linear Logic - FLOC'02, 2002, Copenhagen, Danemark, 6 p. ⟨inria-00100792⟩
75 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More