Abstract
AbstractThis note compares several notions of categorical model of intuitionistic linear logic in the literature. The emphasis is on explaining why choices can be made and what they amount to. My conclusion is that despite being an older and more complicated notion, linear categories are still the best way to describe models of linear logic, if one wants the correspondence between syntax and semantics to be as tight as possible.KeywordsIntuitionistic LogicLinear LogicNatural DeductionSequent CalculusLinear CategoryThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
