DiaLog: A System for Dialogue Logic
Jürgen Ehrensberger, Claus Zinn · 1997
. We present a proof system which implements dialogue logic as originally developed by Lorenzen.Intuitionistic and classic logic are pre-de#ned. A rule language allows to easily de#ne 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 #eld and a dialogue strategy grapher. 1 Dialogue logic The principles of dialogue logic were proposed by Paul Lorenzen in 1958 in order to provide a new autonomous foundation of intuitionistic logic #cf. #5##. In this new approach the validityofagiven formula is examined in a formal dialogue between two participants: the proponent and the opponent.At the beginning of a dialogue the proponent asserts a thesis and the opponentmay assert hypotheses. The consecutive steps of the dialogue are attacks upon previous assertions or defences against previous attacks which are stated by the ...