Die pragmatischen Sinn- und Geltungskriterien der Dialogischen Logik beim Beweis des Adjunktionssatzes

 Access to full text

 Full (PDF)

1. Beth, Evert Willem1956Semantic Construction of Intuitionistic Logic. Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen, Afd. Letterkunde, Vol. 19, Nr. 11, 357-388. Zbl0073.24903
2. Crossley, John / Dummett, Michael (éd.) 1965Formal Systems and Recursive Functions, Amsterdam: North Holland. 
3. van Dalen, Dirk1986Intuitionistic Logic. In: [Gabbay / Guenthner 1986, 225-340]. Zbl0875.03038
4. Dascal, Marcelo / Gerhardus, Dietfried / Lorenz, Kuno / Meggle, Georg (éd.) 1996Sprachphilosophie, Philosophy of Language, La philosophie du language, Berlin, New York: Walter de Gruyter, Bd. 2. 
5. Dascal, Marcelo / Hintikka, Jaakko / Lorenz, Kuno1996Jeux dans le langage / Games in language / Spiel in der Sprache. In: [Dascal / Gerhardus / Lorenz / Meggle 1996, 1371-1390]. 
6. Fitting, Melvin1969Intuitionistic Logic, Model Theory and Forcing. Amsterdam, London: North-Holland. Zbl0188.32003
7. Gabbay, Dov1981Semantical investigations in Heyting's intuitionistic logic. Dordrecht, Boston, London: D. Reidel. Zbl0453.03001
8. Gabbay, Dov / Guenthner, Franz (éd.) 1986Handbook of Philosophical Logic, Dordrecht, Boston, Lancaster, Tokyo: D. Reidel, Bd. III. Zbl1259.03001
9. Gentzen, Gerhard1935Untersuchungen über das logische Schließen. Mathematische Zeitschrift, Bd. 39, 176-210 und 405-431. Zbl0010.14501
10. Gethmann, Carl F. (éd.) 1980Theorie des wissenschaftlichen Argumentierens. Frankfurt a. M.: Suhrkamp. 
11. Gethmann, Carl F. (éd.) 1982Logik und Pragmatik. Frankfurt a. M.: Suhrkamp. 
12. Harrop, Ronald1956On Disjunctions and Existential Statements in Intuitionistic Systems of Logic. Mathematische Annalen, Bd. 132, Heft 1, 347-361. Zbl0071.24504
13. Harrop, Ronald1960Concerning formulas of the types A→BvC, A→(Ex)B(x) in intuitionistic formal systems. The Journal of Symbolic Logic, Bd. 25, 27-32. Zbl0098.24201
14. Kleene, Stephen Cole1967Introduction to metamathematics. Amsterdam, Groningen: North-Holland. Zbl0047.00703
15. Kripke, Saul1965Semantical analysis of intuitionistic logic I. In: [Crossley / Dummett 1965,92-129]. Zbl0137.00702
16. Lorenz, Kuno1968Dialogspiele als semantische Grundlage von Logik-Kalkülen. In: [Lorenzen / Lorenz 1978, 96-162]. 
17. Lorenz, Kuno1982Die irreführende Gleichsetzung von Begründungen und Argumentationen. Bemerkungen zu einem monologischen Mißverständnis in der dialogischen Logik. In: [Gethmann 1982, 78-91]. 
18. Lorenz, Kuno1996Spiel in der Sprache. In: [Dascal / Hintikka / Lorenz 1996, 1380-1391]. 
19. Lorenzen, Paul1980Die dialogische Begründung von Logikkalkülen. In: [Gethmann 1980,43-72]. Zbl0554.03007
20. Lorenzen, Paul / Lorenz, Kuno1978Dialogische Logik. Darmstadt: Wissenschaftliche Buchgesellschaft. Zbl0435.03011
21. Rahman, Shahid1993Über Dialoge, protologische Kategorien und andere Seltenheiten. Frankfurt a. M., Berlin, New York, Paris, Wien: Peter Lang. 
22. Smullyan, Raymond1968First-order logic. Heidelberg: Springer Verlag. Zbl0172.28901

1. Laure Damien, Marie-Hélène Gorisse, Shahid Rahman, Dialogique temporelle et hybridation
2. Helge Rückert, Logiques dialogiques ‘multivalentes’
3. Shahid Rahman, Narahari Rao, Die logische Kompetenz und die Theorie der mentalen Modelle
4. , Bibliographie