no. 3

Die pragmatischen Sinn- und Geltungskriterien der Dialogischen Logik beim Beweis des Adjunktionssatzes
Philosophia Scientiae, Tome 3 (1998-1999) no. 3, pp. 145-170. 
@article{PHSC_1998-1999__3_3_145_0,
     author = {Rahman, Shahid and R\"uckert, Helge},
     title = {Die pragmatischen Sinn- und Geltungskriterien der Dialogischen Logik beim Beweis des Adjunktionssatzes},
     journal = {Philosophia Scientiae},
     pages = {145--170},
     publisher = {\'Editions Kim\'e},
     volume = {3},
     number = {3},
     year = {1998-1999},
     language = {de},
     url = {http://www.numdam.org/item/PHSC_1998-1999__3_3_145_0/}
}
Rahman, Shahid; Rückert, Helge. Die pragmatischen Sinn- und Geltungskriterien der Dialogischen Logik beim Beweis des Adjunktionssatzes. Philosophia Scientiae, Tome 3 (1998-1999) no. 3, pp. 145-170. http://www.numdam.org/item/PHSC_1998-1999__3_3_145_0/

Beth, Evert Willem 1956 Semantic Construction of Intuitionistic Logic. Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen, Afd. Letterkunde, Vol. 19, Nr. 11, 357-388. | Zbl 0073.24903

Crossley, John / Dummett, Michael (éd.) 1965 Formal Systems and Recursive Functions, Amsterdam: North Holland.

Van Dalen, Dirk 1986 Intuitionistic Logic. In: [Gabbay / Guenthner 1986, 225-340]. | Zbl 0875.03038

Dascal, Marcelo / Gerhardus, Dietfried / Lorenz, Kuno / Meggle, Georg (éd.) 1996 Sprachphilosophie, Philosophy of Language, La philosophie du language, Berlin, New York: Walter de Gruyter, Bd. 2.

Dascal, Marcelo / Hintikka, Jaakko / Lorenz, Kuno 1996 Jeux dans le langage / Games in language / Spiel in der Sprache. In: [Dascal / Gerhardus / Lorenz / Meggle 1996, 1371-1390].

Fitting, Melvin 1969 Intuitionistic Logic, Model Theory and Forcing. Amsterdam, London: North-Holland. | Zbl 0188.32003

Gabbay, Dov 1981 Semantical investigations in Heyting's intuitionistic logic. Dordrecht, Boston, London: D. Reidel. | Zbl 0453.03001

Gabbay, Dov / Guenthner, Franz (éd.) 1986 Handbook of Philosophical Logic, Dordrecht, Boston, Lancaster, Tokyo: D. Reidel, Bd. III.

Gentzen, Gerhard 1935 Untersuchungen über das logische Schließen. Mathematische Zeitschrift, Bd. 39, 176-210 und 405-431. | Zbl 0010.14501

Gethmann, Carl F. (éd.) 1980 Theorie des wissenschaftlichen Argumentierens. Frankfurt a. M.: Suhrkamp.

Gethmann, Carl F. (éd.) 1982 Logik und Pragmatik. Frankfurt a. M.: Suhrkamp.

Harrop, Ronald 1956 On Disjunctions and Existential Statements in Intuitionistic Systems of Logic. Mathematische Annalen, Bd. 132, Heft 1, 347-361. | Zbl 0071.24504

Harrop, Ronald 1960 Concerning formulas of the types A→BvC, A→(Ex)B(x) in intuitionistic formal systems. The Journal of Symbolic Logic, Bd. 25, 27-32. | Zbl 0098.24201

Kleene, Stephen Cole 1967 Introduction to metamathematics. Amsterdam, Groningen: North-Holland. | Zbl 0047.00703

Kripke, Saul 1965 Semantical analysis of intuitionistic logic I. In: [Crossley / Dummett 1965,92-129]. | Zbl 0137.00702

Lorenz, Kuno 1968 Dialogspiele als semantische Grundlage von Logik-Kalkülen. In: [Lorenzen / Lorenz 1978, 96-162].

Lorenz, Kuno 1982 Die irreführende Gleichsetzung von Begründungen und Argumentationen. Bemerkungen zu einem monologischen Mißverständnis in der dialogischen Logik. In: [Gethmann 1982, 78-91].

Lorenz, Kuno 1996 Spiel in der Sprache. In: [Dascal / Hintikka / Lorenz 1996, 1380-1391].

Lorenzen, Paul 1980 Die dialogische Begründung von Logikkalkülen. In: [Gethmann 1980,43-72].

Lorenzen, Paul / Lorenz, Kuno 1978 Dialogische Logik. Darmstadt: Wissenschaftliche Buchgesellschaft. | Zbl 0435.03011

Rahman, Shahid 1993 Über Dialoge, protologische Kategorien und andere Seltenheiten. Frankfurt a. M., Berlin, New York, Paris, Wien: Peter Lang.

Smullyan, Raymond 1968 First-order logic. Heidelberg: Springer Verlag. | Zbl 0172.28901