Assertion: linear logic | /r/HasProperty | proposed by jean-yves girard
Facets:
Source sentences:
text: 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.