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...

Celý popis

Podrobná bibliografie

Vydáno v:	Theoretical computer science Ročník 693; s. 35 - 58
Hlavní autoři:	Nigam, Vivek, Olarte, Carlos, Pimentel, Elaine
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 12.09.2017
Témata:	Concurrent constraint programming Linear logic Proof systems Concurrent constraint programming Linear logic Proof systems
ISSN:	0304-3975, 1879-2294
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!