@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/} }
TY - JOUR AU - Rahman, Shahid AU - Rückert, Helge TI - Die pragmatischen Sinn- und Geltungskriterien der Dialogischen Logik beim Beweis des Adjunktionssatzes JO - Philosophia Scientiae PY - 1998-1999 DA - 1998-1999/// SP - 145 EP - 170 VL - 3 IS - 3 PB - Éditions Kimé UR - http://www.numdam.org/item/PHSC_1998-1999__3_3_145_0/ LA - de ID - PHSC_1998-1999__3_3_145_0 ER -
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/
Semantic Construction of Intuitionistic Logic. Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen, Afd. Letterkunde, Vol. 19, Nr. 11, 357-388. | Zbl 0073.24903
1956Formal Systems and Recursive Functions, Amsterdam: North Holland.
/ (éd.) 1965Intuitionistic Logic. In: [Gabbay / Guenthner 1986, 225-340]. | Zbl 0875.03038
1986Sprachphilosophie, Philosophy of Language, La philosophie du language, Berlin, New York: Walter de Gruyter, Bd. 2.
/ / / (éd.) 1996Jeux dans le langage / Games in language / Spiel in der Sprache. In: [Dascal / Gerhardus / Lorenz / Meggle 1996, 1371-1390].
/ / 1996Intuitionistic Logic, Model Theory and Forcing. Amsterdam, London: North-Holland. | Zbl 0188.32003
1969Semantical investigations in Heyting's intuitionistic logic. Dordrecht, Boston, London: D. Reidel. | Zbl 0453.03001
1981Handbook of Philosophical Logic, Dordrecht, Boston, Lancaster, Tokyo: D. Reidel, Bd. III.
/ (éd.) 1986Untersuchungen über das logische Schließen. Mathematische Zeitschrift, Bd. 39, 176-210 und 405-431. | Zbl 0010.14501
1935Theorie des wissenschaftlichen Argumentierens. Frankfurt a. M.: Suhrkamp.
(éd.) 1980Logik und Pragmatik. Frankfurt a. M.: Suhrkamp.
(éd.) 1982On Disjunctions and Existential Statements in Intuitionistic Systems of Logic. Mathematische Annalen, Bd. 132, Heft 1, 347-361. | Zbl 0071.24504
1956Concerning 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
1960Introduction to metamathematics. Amsterdam, Groningen: North-Holland. | Zbl 0047.00703
1967Semantical analysis of intuitionistic logic I. In: [Crossley / Dummett 1965,92-129]. | Zbl 0137.00702
1965Dialogspiele als semantische Grundlage von Logik-Kalkülen. In: [Lorenzen / Lorenz 1978, 96-162].
1968Die irreführende Gleichsetzung von Begründungen und Argumentationen. Bemerkungen zu einem monologischen Mißverständnis in der dialogischen Logik. In: [Gethmann 1982, 78-91].
1982Spiel in der Sprache. In: [Dascal / Hintikka / Lorenz 1996, 1380-1391].
1996Die dialogische Begründung von Logikkalkülen. In: [Gethmann 1980,43-72].
1980Dialogische Logik. Darmstadt: Wissenschaftliche Buchgesellschaft. | Zbl 0435.03011
/ 1978Über Dialoge, protologische Kategorien und andere Seltenheiten. Frankfurt a. M., Berlin, New York, Paris, Wien: Peter Lang.
1993First-order logic. Heidelberg: Springer Verlag. | Zbl 0172.28901
1968