Dialogical proof theory
Lorenzen and Lorenz (1978): Dialogische Logik
Instead of using axioms, rules of inference and truth tables, logical consequence is characterized in terms of dialogue rules
A sentence ? follows from a set of sentences S if and only if the proponent has a winning strategy to defend ? on the assumption that the opponent is committed to the sentences in S