Assertion: dependence logic | /r/CreatedBy | jouko väänänen
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.