Assertion: dependence logic | /r/HasProperty | supplemented with intuitionistic implication
Facets:
Source sentences:
text: Intuitionistic dependence logic, that is, dependence logic supplemented with the intuitionistic implication, is equivalent to second-order logic.