Exact(14)
The particle rules stipulate exactly which of the moves are to be counted as attacks.
This proviso is added to the definition of the particle rules for di-quantifiers.
Let us give the particle rules for the V and F operators: The particle rules for V and F operators make use of a notion of subdialogue which is akin to its modal counterpart.
This general definition will be made more precise when we state the particle rules for linear connectives.
Particle rules abstractly describe the way a formula can be attacked and defended, according to its main connective.
In order to define the particle rules for such operators, we must first adjust the syntax of the dialogical moves.
Similar(46)
Dually, par will generate a splitting when asserted by the Opponent, thus the particle rule will let the defender choose the context.
Thus, the rules above indicate that splitting for tensor occurs when it is asserted by the Proponent, so the dialogical particle rule will let the challenger choose the context where the dialogue will proceed.
A particle rule (also known as an argumentation form) abstractly describes the way a formula of a given main connective may be objected to, and how to answer the objection.
Argumentation forms are abstract in the sense that, in their definition, no reference is made to the context of argumentation in which the rule is applied (understood as a situation in a process of argumentation, e.g., as the set of argument moves made before the assertion for which the particle rule is defined).
That is far smaller than the world of everyday objects described by Newton's laws of motion, but bigger than an atom or a simple molecule, particles ruled by quantum mechanics.
Write better and faster with AI suggestions while staying true to your unique style.
Since I tried Ludwig back in 2017, I have been constantly using it in both editing and translation. Ever since, I suggest it to my translators at ProSciEditing.

Justyna Jupowicz-Kozak
CEO of Professional Science Editing for Scientists @ prosciediting.com