Calculi for an Intuitionistic Hybrid Modal Logic

Didier Galmiche (1) , Yakoub Salhi (1)

1 TYPES - Logic, proof Theory and Programming

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.

Domaines: Logique en informatique [cs.LO]

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⟩