Assertion: logic's aspect | /r/HasProperty | obvious
Facets:
value: in this definition
type: OTHER
Source sentences:
text: An important aspect of constructivity in dialogical logic is obvious in this definition: infinity plays no role, i.e., it does not rely on a quantification over the set of models.