8
Linear logic is a substructural logic proposed by Jean-Yves Girard as a refinement of classical and intuitionistic logic, joining the dualities of the former with many of the constructive properties of the latter.
Added 3/14/2016 2:19:36 PM
This answer has been confirmed as correct and helpful.
Confirmed by
Andrew. [3/14/2016 8:27:59 PM]