DIALOG: A system for dialogue logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1249, Issue , 1997, Pages 446-460

  Ehrensberger, Jürgen ^a   Zinn, Claus ^b  

^a EPFL   (Switzerland)

^b UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; THEOREM PROVING;

DIALOGUE STRATEGY; FULLY AUTOMATED; GRAPHICAL INTERFACE; INTERACTIVE PROOFS; MULTI-SORTED LOGIC; PROOF SYSTEM; SYSTEM SUPPORTS; USER FRIENDLY;

COMPUTER CIRCUITS;

EID: 84957079979     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63104-6_44     Document Type: Conference Paper

References (5)

1. Ehrensberger, Jürgen. "Ein System für Dialogische Logik." Diplomarbeit am Insti- tut füer Mathematische Maschinen und Datenverarbeitung, Lehrstuhl für Künstliche Intelligenz, Universität Erlangen-Nürnberg. 1996.
2. Felscher, Walter. "Dialogues, Strategies and Intuitionistic Provability." Annals of Pure and Applied Logic 28 (1985): 217-254
3. 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.
4. Haas, Gerrit. "Programme zur dialogischen Logik." Arbeitsberichte des IMMD. Bd. 3, Nr. 4. Universität Erlangen-Nürnberg, Oktober 1970.
5. Lorenzen, Paul and Lorenz, Kuno. "Dialogische Logik." Wissenschaftl. Buchge- sellschaft, Darmstadt. 1978.