I am currently going through some papers that use the "intuitionistic version" of Girard's Linear Logic. The problem is that I seem to find very little literature on it. There is a lot done on Linear Logic but I specifically wanted some introduction to its intuitionistic version (why did it come up, historical context, etc.). Any recommendations would be helpful!

  • $\begingroup$ Sílvia? xD${{}}$ $\endgroup$ – Git Gud Apr 11 '14 at 16:02
  • $\begingroup$ indeed! do i know you...? $\endgroup$ – essay Apr 11 '14 at 19:00
  • $\begingroup$ Doesn't my nickname ring a bell? ^_^ Hint: I played chess today. $\endgroup$ – Git Gud Apr 11 '14 at 19:17
  • $\begingroup$ ha, i know who you are! (sorry about the delay. and about your chess game :P) but i am clueless about your nickname anyway... $\endgroup$ – essay Apr 17 '14 at 13:04

See Jean-Yves Girard, Linear Logic (1987) and A.S.Troelstra, Lectures on Linear Logic (1992).

See also in SEP the entry on Linear Logic.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.