Calculi with dependency relations for Mixed Linear Logic - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2001

Calculi with dependency relations for Mixed Linear Logic

Résumé

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.
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : inria-00100564 , version 1

Citer

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. ⟨inria-00100564⟩
71 Consultations
0 Téléchargements

Partager

More