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

Nicolas Biri 1 Didier Galmiche 1
1 TYPES - Logic, proof Theory and Programming
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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.
Type de document :
Communication dans un congrès
Workshop on Linear Logic - FLOC'02, 2002, Copenhagen, Danemark, 6 p, 2002
Liste complète des métadonnées

https://hal.inria.fr/inria-00100792
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 14:51:03
Dernière modification le : jeudi 11 janvier 2018 - 06:20:14

Identifiants

  • HAL Id : inria-00100792, version 1

Collections

Citation

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, 2002. 〈inria-00100792〉

Partager

Métriques

Consultations de la notice

66