Assertion: logical truth | /r/HasProperty | model-valid
Facets:
value: theoretically
type: DEGREE
Source sentences:
text: It is equally obvious that if one has at hand a notion of model-theoretic validity for a formalized language which is based on a minimally reasonable notion of structure, then all logical truths (of that language) will be model-theoretically valid.