Calculi with dependency relations for Mixed Linear Logic

Didier Galmiche 1 Jean-Marc Notin 1
1 TYPES - Logic, proof Theory and Programming
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : In this paper we propose new calculi for the multiplicative fragment of Mixed Linear Logic (MMLL) which is a logic that combines both commutative and non-commutative connectives. These based-on sequent and proof net calculi, that can be seen as a new proof-theoretical formulation of MMLL, are based on the definition of dependency relations. We provide a proof-search procedure for MMLL that is based on proof nets construction with associated sets of dependencies.
Type de document :
Communication dans un congrès
International Workshop on Logic and Complexity in Computer Science - LCCS'2001, 2001, Creteil/France, pp.81-102, 2001
Liste complète des métadonnées

https://hal.inria.fr/inria-00100564
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 14:47:38
Dernière modification le : mardi 24 avril 2018 - 13:32:45

Identifiants

  • HAL Id : inria-00100564, version 1

Collections

Citation

Didier Galmiche, Jean-Marc Notin. Calculi with dependency relations for Mixed Linear Logic. International Workshop on Logic and Complexity in Computer Science - LCCS'2001, 2001, Creteil/France, pp.81-102, 2001. 〈inria-00100564〉

Partager

Métriques

Consultations de la notice

87