Can I read Focalization in Linear Logic Proofs on EtoBox?

Focalization in Linear Logic Proofs by Gholsas is a document available to read on EtoBox.

What is Focalization in Linear Logic Proofs about?

The document provides a proof of the focalization property of linear logic. It begins by introducing some key concepts and definitions related to linear logic and focalization. These include the definitions of positive/negative formulas and connectives, main positive trees, and various types of focalized proofs (weakly, strongly, reversed, fully focalized). It then presents the sequent calculi LLfoc and LLF, which are used to prove weak and full focalization respectively. The main results are that any prova

Author

Gholsas

Language

EN