Assertion: linear logic | /r/CapableOf | join the dualities of the former
Facets:
value: with many
type: OTHER
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.