Undecidability of Multiplicative Subexponential Logic - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Undecidability of Multiplicative Subexponential Logic

Résumé

Subexponential logic is a variant of linear logic with a family of exponential connectives---called subexponentials---that are indexed and arranged in a pre-order. Each subexponential has or lacks associated structural properties of weakening and contraction. We show that classical propositional multiplicative linear logic extended with one unrestricted and two incomparable linear subexponentials can encode the halting problem for two register Minsky machines, and is hence undecidable.
Fichier principal
Vignette du fichier
main.pdf (108.95 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00998753 , version 1 (02-06-2014)

Licence

Paternité - Pas de modifications

Identifiants

Citer

Kaustuv Chaudhuri. Undecidability of Multiplicative Subexponential Logic. Proceedings of the Third International Workshop on Linearity, Jul 2014, Vienna, Austria. pp.1--8, ⟨10.4204/EPTCS.176.1⟩. ⟨hal-00998753⟩
450 Consultations
181 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More