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

Celý popis

Podrobná bibliografie

Vydáno v:	Electronic notes in theoretical computer science Ročník 265; s. 161 - 176
Hlavní autoři:	Basaldella, Michele, Saurin, Alexis, Terui, Kazushige
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 06.09.2010
Témata:	focalization interaction Linear logic ludics proof-search focalization interaction Linear logic ludics proof-search
ISSN:	1571-0661, 1571-0661
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!