The relation types of the Argdown syntax used in [[IRelation.relationType]].
Note that ATTACK/CONTRARY and SUPPORT/ENTAILS are using the same relations symbols (- and +).
The difference lies in the source and target of the relations: attack and support relations
are dialectical relations from an argument/statement to an argument.
An UNDERCUT is a dialectical relation between an argument/statement to an inference of an argument.
ENTAILS, CONTRARY and CONTRADICTORY are logical relations between two statements.
Dialectical support and attack relations can be derived from logical statement-to-statement relations
if these statements are used as premises or main conclusions in arguments.
Logical equivalence between statements is missing from this list of relation types because it is not modeled as an [[IRelation]],
but instead as an [[IEquivalenceClass]].
The relation types of the Argdown syntax used in [[IRelation.relationType]].
Note that ATTACK/CONTRARY and SUPPORT/ENTAILS are using the same relations symbols (- and +). The difference lies in the source and target of the relations: attack and support relations are dialectical relations from an argument/statement to an argument.
An UNDERCUT is a dialectical relation between an argument/statement to an inference of an argument.
ENTAILS, CONTRARY and CONTRADICTORY are logical relations between two statements. Dialectical support and attack relations can be derived from logical statement-to-statement relations if these statements are used as premises or main conclusions in arguments.
Logical equivalence between statements is missing from this list of relation types because it is not modeled as an [[IRelation]], but instead as an [[IEquivalenceClass]].