Assertion: logic's semantic | /r/CapableOf | leave terminological issues
Facets:
value: aside
type: MANNER
Source sentences:
text: Leaving terminological issues aside, if a proof system is both sound and complete with respect to a model-theoretic semantics (as, significantly, in the case of first order predicate logic), then the proof system and the model-theoretic semantics agree on which arguments are valid.