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.

• Type: Journal
• Year: 2010
• Where: ENTCS
• Authors: Michele Basaldella, Alexis Saurin, Kazushige Terui
• Keywords: ENTCS 2010, Focalization Property, Linear Logic, Linear Logic Proofs