Assertion: dialogical logic | /r/HasProperty | underlined in historical overview
Facets:
Source sentences:
text: As underlined in the historical overview, dialogical logic was born in the context of constructivism, so it is not a surprise that the attack against ¬A and A→B is the same: the constructive negation of A reads as A→⊥.