From Focalization of Logic to the Logic of Focalization

Andreoli originally discovered focalization as a concrete proof search strategy in proof theory of linear logic, putting to the foreground the role of polarity in logic. The aim of the present paper is to give a more abstract account on focalization in the framework of ludics. We describe focalizati...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Electronic notes in theoretical computer science Jg. 265; S. 161 - 176
Hauptverfasser:	Basaldella, Michele, Saurin, Alexis, Terui, Kazushige
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 06.09.2010
Schlagworte:	focalization interaction Linear logic ludics proof-search focalization interaction Linear logic ludics proof-search
ISSN:	1571-0661, 1571-0661
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!