Formula
Translation
Ruleset
Extras
Standard Structural RulesExperimental RulesHeuristic Rules
Proponent cannot assert an atomic formula before Opponent has asserted it.
A player must defend against the most recent open attack.
Attacks may be answered at most once.
Proponent's assertions may be attacked at most once.
Opponent must react to the most recent statement by Proponent.
Proponent may assert an atom only if Opponent has earlier asserted either that atom or its negation.
Defenses must be against the most recent attack (open or closed).
Defenses must be against the earliest open attack.
Proponent must defend against the most recent open attack.
Opponent must defend against the most recent open attack.
Assertions can be attacked at most once
Attacks may be answered at most twice.
Proponent's assertions may be attacked at most two times.
Proponent's assertions may be attacked at most three times.
Proponent's attacks may be defended at most once.
Neither player may repeat moves (same stance, same reference, same statement).
Opponent cannot repeat moves
Proponent cannot repeat moves
Play Style

[About] | [Contact]