Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Ehrensberger, Jürgen. “Ein System für Dialogische Logik”. Diplomarbeit am Institut füer Mathematische Maschinen und Datenverarbeitung, Lehrstuhl für Künstliche Intelligenz, Universität Erlangen-Nürnberg. 1996.
Felscher, Walter. “Dialogues, Strategies and Intuitionistic Provability”. Annals of Pure and Applied Logic 28 (1985): 217–254
Felscher, Walter. “Dialogues as a Foundation for Intuitionistic Logic”. Handbook of Philosophical Logic. Vol. III. Ed. by Dov M. Gabbay und Franz Guenthner. Dordrecht: D. Reidel, 1986. 341–372.
Haas, Gerrit. “Programme zur dialogischen Logik”. Arbeitsberichte des IMMD. Bd. 3, Nr. 4. Universität Erlangen-Nürnberg, Oktober 1970.
Lorenzen, Paul and Lorenz, Kuno. “Dialogische Logik”. Wissenschaftl. Buchgesellschaft, Darmstadt. 1978.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ehrensberger, J., Zinn, C. (1997). Dialog. In: McCune, W. (eds) Automated Deduction—CADE-14. CADE 1997. Lecture Notes in Computer Science, vol 1249. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63104-6_44
Download citation
DOI: https://doi.org/10.1007/3-540-63104-6_44
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63104-0
Online ISBN: 978-3-540-69140-2
eBook Packages: Springer Book Archive