Assertion: exclusion logic | /r/HasAspect | same expressive power
Facets:
value: on the level of open formulas
type: OTHER
value: as independence logic
type: MANNER
Source sentences:
text: Inclusion/exclusion logic has the same expressive power as independence logic, already on the level of open formulas.