Assertion: logic's semantic | /r/HasProperty | mathematical objects
Facets:
Source sentences:
text: Formal languages, deductive systems, and model-theoretic semantics are mathematical objects and, as such, the logician is interested in their mathematical properties and relations.