Assertion: linear logic | /r/CapableOf | use only one-sided sequents
Facets:
Source sentences:
text: Girard describes classical linear logic using only one-sided sequents (where the left-hand context is empty), and we follow here that more economical presentation.