DiaLog : A system for dialogue logic

We present a proof system which implements dialogue logic as originally developed by LORENZEN. Intuitionistic and classic logic are pre-defined. A rule language allows to easily define dialogue rules for other logics. DIALOG provides multi-sorted logic. The system supports fully automated and interactive proof search. A user-friendly graphical interface displays the dialogue tableau, a dialogue trace field and a dialogue strategy grapher.