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.
CITATION STYLE
Ehrensberger, J., & Zinn, C. (1997). DIALOG: A system for dialogue logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1249, pp. 446–460). Springer Verlag. https://doi.org/10.1007/3-540-63104-6_44
Mendeley helps you to discover research relevant for your work.