113 found
Order:
Disambiguations
Kurt Schütte [78]K. Schütte [42]
  1.  41
    The Collected Papers of Gerhard Gentzen.K. Schütte - 1972 - Journal of Symbolic Logic 37 (4):752-753.
    Direct download  
     
    Export citation  
     
    Bookmark   49 citations  
  2.  10
    Vollständige Systeme modaler und intuitionistischer Logik.Kurt Schütte - 1968 - New York,: Springer Verlag.
    s. A: KIuPKB entwickelte in einer einheitIichen Systematik vollstlindige Interpretationen fiir viele Systeme der Modalitatenlogik, die vorber nur syn­ taktisch fixiert waren. Hiermit ergab sich auf dem Wege tiber eine quantoren­ logische Erweiterung des Modalitatensystems S4 zugleich eine Semantik fUr die intuitionistische Priidikatenlogik:. Der vorliegende Ergebnisbericht behandelt im Rahmen der klassischen Priidikatenlogik: zwei Modalitatensysteme, deren aussagenlogische Teile mit den Systemen M von v. WRIGHT und S4 von LEWIS tibereinstimmen. Es gibt verschiedene Moglichkeiten, aussagenlogische Modalitatensysteme quantoren­ logisch zu erweitem. Die hier (...)
  3. Syntactical and semantical properties of simple type theory.Kurt Schütte - 1960 - Journal of Symbolic Logic 25 (4):305-326.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  4.  32
    Equational Logic and Equational Theories of Algebras.A. Tarski, H. Arnold Schmidt & K. Schutte - 1971 - Journal of Symbolic Logic 36 (1):161-162.
  5.  26
    Ein System des verknüpfenden Schliessens.K. Schütte - 1956 - Archiv für Philosophie 5 (4):375.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  6.  14
    Ein System des verknüpfenden Schliessens.K. Schütte - 1956 - Archive for Mathematical Logic 2 (2-4):55.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  7. Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen.Kurt Schütte & Stephen G. Simpson - 1985 - Archive for Mathematical Logic 25 (1):75-89.
     
    Export citation  
     
    Bookmark   7 citations  
  8.  11
    Simultane Rekursionen in der Theorie der Funktionale endlicher Typen.Justus Diller & Kurt Schütte - 1971 - Archive for Mathematical Logic 14 (1-2):69-74.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  9.  24
    Ein Wohlordnungsbeweis für das OrdinalzahlensystemT(J).K. Schütte - 1988 - Archive for Mathematical Logic 27 (1):5-20.
    A recursive notation system of a strong segment of ordinals was developped by Jäger [3]. An unessential modified versionT(J) of this notation system was described in [4]. In the following, the well-ordering ofT(J) is proved in a formal system of second order arithmetic with the axiom schema ofΠ 2 1 -comprehension. It follows, that the proof theoretical ordinal ofΠ 2 1 -analysis is greater than the order type ofT(J).
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  10.  11
    Beweistheorie von KPN.Kurt Schutte & Gerhard Jager - 1983 - Journal of Symbolic Logic 48 (3):879.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  11.  23
    Solomon Feferman. Systems of predicative analysis. The journal of symbolic logic, Bd. 29 Heft 1 , S. 1–30.Kurt Schütte - 1966 - Journal of Symbolic Logic 31 (4):660.
  12.  13
    Some Forms of Models of Propositional Calculi.R. Harrop, H. Arnold Schmidt, K. Schutte & Ronald Harrop - 1975 - Journal of Symbolic Logic 40 (2):251-251.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  13.  20
    Aussagenlogische Grundeigenschaften formaler Systeme.K. SchÜtte - 1958 - Dialectica 12 (3):422.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  14.  11
    Eine ErweiterungT(V′) des Ordinalzahlensystems 58-0158-0158-01(Λ0) von G. Jäger.Kurt Schütte - 1988 - Archive for Mathematical Logic 27 (1):85-99.
    This paper gives a recursive generalization of a strong notation system of ordinals, which was devellopped by Jäger [3]. The generalized systemT(V′) is based on a hierarchy of Veblen-functions for inaccessible ordinals. The definition ofT(V′) assumes the existence of a weak Mahlo-ordinal. The wellordering ofT(V′) is provable in a formal system of second order arithmetic with the axiom schema ofΠ 2 1 -comprehension in a similar way, as it is proved in [6] for the weaker notation systemT(V′).
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  14
    Mathematische Existenz und Widerspruchfreiheit.K. Schutte & Paul Bernays - 1978 - Journal of Symbolic Logic 43 (1):150.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  16.  3
    Einführung in die Logistik, Vorzüglich in den Modalkalkül.K. Schütte - 1952 - Journal of Symbolic Logic 17 (1):59-60.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  4
    Non-uniqueness at ω2 in Kleene'sO.John N. Crossley & Kurt Schütte - 1966 - Archive for Mathematical Logic 9 (3-4):95-101.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  12
    Zur Berechenbarkeit Primitiv-Rekursiver Funktionale Endlicher Typen.J. Diller, H. Arnold Schmidt & K. Schutte - 1975 - Journal of Symbolic Logic 40 (3):453-454.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  19
    An Upper Bound for the Provability of Transfinite Induction in Systems with N-Times Iterated Inductive Definitions.Kurt Schutte, W. Pohlers, J. Diller & G. H. Muller - 1983 - Journal of Symbolic Logic 48 (3):878.
  20.  17
    Betrachtungen zum Paradoxon von Thoralf Skolem.K. Schutte & Paul Bernays - 1978 - Journal of Symbolic Logic 43 (1):150.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  5
    Contributions to Mathematical Logic Proceedings of the Logic Colloquium, Hannover 1966.H. Arnold Schmidt, Kurt Schutte & H. J. Thiele (eds.) - 1968 - New York, NY, USA: North-Holland.
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  3
    Die Schematische Korrespondenz und die Idealisierten Strukturen.K. Schutte & Paul Bernays - 1978 - Journal of Symbolic Logic 43 (1):152.
  23. Eine Bemerkung über quasirekursioe Funktionen.K. Schütte - 1951 - Archive for Mathematical Logic 1 (2):63.
    No categories
     
    Export citation  
     
    Bookmark  
  24.  3
    Gaisi Takeuti. On the fundamental conjecture of GLC. VI. Proceedings of the Japan Academy, vol. 37 , pp. 440–443.Kurt Schütte - 1964 - Journal of Symbolic Logic 29 (3):147.
  25.  16
    Gaisi Takeuti. Ordinal diagrams II. Journal of the Mathematical Society of Japan, vol. 12 , pp. 385–391.Kurt Schütte - 1964 - Journal of Symbolic Logic 29 (3):146-147.
  26.  16
    Lorenzen Paul. Über das Prinzip “ex falso quodlibet.” Methodos, Bd. 3 , S. 43–46.K. Schütte - 1954 - Journal of Symbolic Logic 19 (4):298-298.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  19
    Lorenzen Paul. Die Widerspruchsfreiheit der klassischen Analysis. Ebd., Bd. 54 Heft 1 , S. 1–24.Kurt Schütte - 1953 - Journal of Symbolic Logic 18 (3):261-262.
  28.  2
    Lorenzen Paul. Gleichheit und Ungleichheit in der Arithmetik. Mathematische Nachrichten, Bd. 1 , S. 337–341.Kurt Schütte - 1953 - Journal of Symbolic Logic 18 (3):260-260.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  29.  12
    Lorenzen Paul. Konstruktive Begründung der Mathematik. Mathematische Zeitschrift, Bd. 53 Heft 2 , S. 162–202.Kurt Schütte - 1953 - Journal of Symbolic Logic 18 (3):260-261.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  30.  57
    Meeting of the association for symbolic logic.H. A. Schmidt, K. Schütte, E.-J. Thiele & M. J. Cresswell - 1967 - Journal of Symbolic Logic 32 (4):556-577.
  31. Majorisier Ungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. Jäger.Kurt Schütte - 1987 - Archive for Mathematical Logic 26 (1):29-55.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  32.  21
    Nagai Hiroshi. Some aspects of the philosophy of science in Japan. Ebd., S. 63–90.Kurt Schütte - 1957 - Journal of Symbolic Logic 22 (4):353-353.
  33.  15
    Paul Bernays. Probleme der theoretischen Logik. Neudruck von 2877. Ebd., S. 1–16.K. Schütte - 1978 - Journal of Symbolic Logic 43 (1):147-153.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34.  20
    Prawitz Dag. Hauptsatz for higher order logic.K. Schütte - 1974 - Journal of Symbolic Logic 39 (3):607.
  35.  27
    Provable Wellorderings of Formal Theories for Transfinitely Iterated Inductive Definitions.Kurt Schutte, W. Buchholz & W. Pohlers - 1983 - Journal of Symbolic Logic 48 (3):878.
  36. Sull'origine delle comete.K. Schütte - 1943 - Scientia 37 (73):du Supplém. 25.
    No categories
     
    Export citation  
     
    Bookmark  
  37.  20
    Suetuna Zyoiti. Über den Begriff der Totalität in der Mathematik. Ebd., S. 33–40.Kurt Schütte - 1957 - Journal of Symbolic Logic 22 (4):352-353.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  38.  18
    Takeuti Gaisi. Ordinal diagrams. Journal of the Mathematical Society of Japan, vol. 9 , pp. 386–394.Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):64-65.
  39.  18
    Takeuti Gaisi. On Skolem's theorem. Journal of the Mathematical Society of Japan, vol. 9 , pp. 71–76.Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):66-66.
  40.  22
    Takeuti Gaisi. On the theory of ordinal numbers. Journal of the Mathematical Society of Japan, vol. 9 , pp. 93–113.Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):67-67.
  41. Ueber der Ursprung der Kometen.K. Schütte - 1943 - Scientia 37 (73):144.
    No categories
     
    Export citation  
     
    Bookmark  
  42.  10
    W. W. Tait. The substitution method. The journal of symbolic logic, Bd. 30 , S. 175–192.K. Schütte - 1973 - Journal of Symbolic Logic 38 (4):660.
  43.  5
    Zur Rolle der Sprache in Erkenntnistheoretischer Hinsicht.K. Schutte & Paul Bernays - 1978 - Journal of Symbolic Logic 43 (1):151.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  44. Review: Jerzy Los, Quelques Remarques, Theoremes et Problemes sur les Classes Definissables d'Algebres. [REVIEW]Kurt Schutte - 1960 - Journal of Symbolic Logic 25 (2):168-168.
     
    Export citation  
     
    Bookmark   11 citations  
  45.  7
    Einführung in die Mathematische Logik. Klassische Prädikatenlogik.Kurt Schütte - 1965 - Journal of Symbolic Logic 30 (3):355-356.
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  15
    Hermes Hans. Einführung in die mathematische Logik. Klassische Prädikatenlogik. B. G. Teubner Verlagsgesellschaft, Stuttgart 1963, 187 S. [REVIEW]Kurt Schutte - 1965 - Journal of Symbolic Logic 30 (3):355-356.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47.  11
    Becker Oskar. Einführung in die Logistik, vorzüglich in den Modalkalkül. Westkulturverlag Anton Hain, Meisenheim am Glan 1951, 92 S. [REVIEW]K. Schütte - 1952 - Journal of Symbolic Logic 17 (1):59-60.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  36
    Dag Prawitz. Hauptsatz for higher order logic. The journal of symbolic logic, Bd. 33 , S. 452–457. - Dag Prawitz. Completeness and Hauptsatz for second order logic. Theoria , Bd. 33 , S. 246–258. - Moto-o Takahashi. A proof of cut-elimination in simple type-theory. Journal of the Mathematical Society of Japan, Bd. 19 , S. 399–410. [REVIEW]K. Schutte - 1974 - Journal of Symbolic Logic 39 (3):607-607.
  49.  13
    Hermes Hans. Aufzählbarkeit, Entscheidbarkelt, Berechenbarkeit. Einführung in die Theorie der rekursiven Funktionen. Springer-Verlag, Berlin-Göttingen-Heidelberg 1961, X + 246 pp. [REVIEW]Kurt Schutte - 1966 - Journal of Symbolic Logic 31 (2):254-254.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50.  25
    M. E. Szabo. Biographical sketch. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. vii–viii. - M. E. Szabo. Introduction. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 1–28. - Gerhard Gentzen. On the existence of independent axiom systems for infinite sentence systems. Englische Übersetzung von 4427. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 29–52. - Gerhard Gentzen. On the relation between intuitionist and classical arithmetic. Englische Übersetzung des Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik . The collected papers of Gerhard Gentz. [REVIEW]K. Schütte - 1972 - Journal of Symbolic Logic 37 (4):752-753.
1 — 50 / 113