Dialogische Logik

Formel Angriff Verteidigung
A und B L? / R? A / B
A oder B ? A / B
Wenn A, dann B A? B
nicht A A? ...
Für alle x: A(x) y? A(y)
Es gibt ein x: A(x) ? A(y)