Is there any correct book/textbook/pdf to understand what is linear logic ? I do research in (standard) logic/model theory, so I'm totally ok with a text which assumes mathematical maturity.
Asked
Active
Viewed 186 times
6
-
2See e.g.Jean-Yves Girard, Linear logic Theoretical Computer Science (1987) as well as Anne Troelstra, Lectures on Linear Logic CSLI (1992). – Mauro ALLEGRANZA Apr 04 '17 at 11:50
-
Unfortunately I'm not sure there's a good reference at the moment. I guess Girard's The Blind Spot is a book mostly about linear logic but it's very polarizing and sometimes offensive (though I personally learned a lot from it). In a few years though the Handbook of Linear Logic should be done; there's an early draft that was used at the Linear Logic 2022 Winter School whose lectures were recorded. – Lê Thành Dũng 'Tito' Nguyễn Nov 08 '22 at 13:02