On subexponentials, focusing and modalities in concurrent systems

In this work we present the focused proof system SELLF⋒, which extends intuitionistic linear logic with subexponentials with the ability of quantifying over them, hence allowing for the use of an arbitrary number of modalities. We show that the view of subexponentials as specific modalities is gener...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Theoretical computer science Jg. 693; S. 35 - 58
Hauptverfasser:	Nigam, Vivek, Olarte, Carlos, Pimentel, Elaine
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 12.09.2017
Schlagworte:	Concurrent constraint programming Linear logic Proof systems Concurrent constraint programming Linear logic Proof systems
ISSN:	0304-3975, 1879-2294
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!