Calculi for an Intuitionistic Hybrid Modal Logic - Archive ouverte HAL
Communication Dans Un Congrès Année : 2008

Calculi for an Intuitionistic Hybrid Modal Logic

Didier Galmiche
Yakoub Salhi

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 communicative and non-communicative 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

hal-00580306 , version 1 (27-03-2011)

Identifiants

  • HAL Id : hal-00580306 , version 1

Citer

Didier Galmiche, Yakoub Salhi. Calculi for an Intuitionistic Hybrid Modal Logic. International Workshop on Intuitionistic Modal Logic and Applications - IMLA'08, Jun 2008, CMU, Pittsburg, United States. pp.15. ⟨hal-00580306⟩
68 Consultations
0 Téléchargements

Partager

More