Sciweavers

ENTCS
2010

From Focalization of Logic to the Logic of Focalization

13 years 3 months ago
From Focalization of Logic to the Logic of Focalization
Focalization property is a deep outcome of linear logic proof theory, putting to the foreground the role of polarity in logic. It resulted an important advances in various fields, ranging from linear logic programming to game theoretical analysis of linear logic proofs. The aim of this article is to propose an algebraic study of focalization property for the multiplicative-additive fragment of linear logic (MALL) in the framework of ludics.
Michele Basaldella, Alexis Saurin, Kazushige Terui
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2010
Where ENTCS
Authors Michele Basaldella, Alexis Saurin, Kazushige Terui
Comments (0)