Assertion: logic | /r/HasProperty | represented by its signature
Facets:
Source sentences:
text: A logical system L {\displaystyle {\mathcal {L}}} is represented by its signature which assigns kinds and types to a finite set of constants that represents its syntax, its judgements and its rule schemes.