Assertion: syntactic consequence | /r/Synonym | model theory
Facets:
Source sentences:
text: The study of the syntactic consequence (of a logic) is called (its) proof theory whereas the study of (its) semantic consequence is called (its) model theory.