Assertion: linear logic | /r/HasProperty | cll
Facets:
Source sentences:
text: The language of classical linear logic (CLL) is defined inductively by the BNF notation