Assertion: logic | /r/MadeOf | formal or informal language
Facets:
value: with a model-theoretic semantics
type: OTHER
value: with a deductive system
type: OTHER
value: typically
type: DEGREE
Source sentences:
text: Typically, a logic consists of a formal or informal language together with a deductive system and/or a model-theoretic semantics.