Assertion: dependence logic | /r/HasProperty | logical formalism
Facets:
Source sentences:
text: Dependence logic is a logical formalism, created by Jouko Väänänen, which adds dependence atoms to the language of first-order logic.