Results for 'Von H. Arnold Schmidt'

1000+ found
Order:
  1.  3
    Über einige neuere untersuchungen zur modalitätenlogik.Von H. Arnold Schmidt - 1958 - Dialectica 12 (3‐4):408-421.
    ZusammenfassunuIn dem vorliegenden Bericht über einige Arbeiten des Verfassers und eine daran anschliessende Arbeit von G. Emde, Marburg, wird eine Reihe von Ergebnissen behandelt, die die Kombinationen der Grundmodalitäten « Möglichkeit » und « Notwendigkeit » betreffen. Ausgehend von sehr allgemeinen Rahmenkodifikaten wird die durch Basisreduktion zu gewinnende Liste der endlich vielen implikativen Modalitätenlogiken mit idempotenter Möglichkeit erörtert; bei wichtigen Unterklassen der nicht notwendig idempotenten implikativen Modalitätenlogiken treten neben der Basisreduktion vor allem spezielle Entscheidungsprobleme in den Vordergrund.RésuméDans le rapport ci‐dessus (...)
    No categories
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2.  14
    Schmidt Arnold. Über deduktive Theorien mit mehreren Sorten von Grunddingen. Mathematische Annalen, vol. 115 no. 4 , pp. 485–506. [REVIEW]C. H. Langford - 1939 - Journal of Symbolic Logic 4 (2):98-98.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3. H. Arnold Schmidt: "Mathematische Gesetze der Logik I". [REVIEW]Wilhelm Ackermann - 1962 - Ratio (Misc.) 4 (1):62.
    No categories
     
    Export citation  
     
    Bookmark  
  4.  2
    Review: H. Arnold Schmidt, Un Procede Maniable de Decision pour la Logique Propositionelle Intuitionniste; A. Mostowski, Arnold Schmidt, A. Tarski, R. Feys, Interventions. [REVIEW]Martin Davis - 1960 - Journal of Symbolic Logic 25 (3):286-286.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5.  8
    Review: H. Arnold Schmidt, Uber Einige Neuere Untersuchungen zur Modalitatenlogik. [REVIEW]G. Hasenjaeger - 1962 - Journal of Symbolic Logic 27 (2):230-230.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6.  19
    Review: J. Diller, H. Arnold Schmidt, K. Schutte, H.-J. Thiele, Zur Berechenbarkeit Primitiv-Rekursiver Funktionale Endlicher Typen. [REVIEW]William A. Howard - 1975 - Journal of Symbolic Logic 40 (3):453-454.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7.  18
    Review: A. Tarski, H. Arnold Schmidt, K. Schutte, H.-J. Thiele, Equational Logic and Equational Theories of Algebras. [REVIEW]Ralph Seifert - 1971 - Journal of Symbolic Logic 36 (1):161-162.
  8.  27
    Contributions to Mathematical Logic. H. Arnold Schmidt, Kurt Schütte, Ernst Jochen Thiele.Arthur Skidmore - 1970 - Philosophy of Science 37 (4):623-625.
  9.  22
    Review: R. Harrop, H. Arnold Schmidt, K. Schutte, H.-J. Thiele, Some Forms of Models of Propositional Calculi; Ronald Harrop, On the Equivalence for Non-Derivability Testing of Finite Smiley Models and Finite Modified Smiley Models. [REVIEW]Dolph Ulrich - 1975 - Journal of Symbolic Logic 40 (2):251-251.
  10.  13
    Equational Logic and Equational Theories of Algebras.A. Tarski, H. Arnold Schmidt & K. Schutte - 1971 - Journal of Symbolic Logic 36 (1):161-162.
  11.  26
    Oberschelp Arnold. Untersuchungen zur mehrsortigen Quantorenlogik. Mathematische Annalen, Bd. 145 , S. 297–333.H. Arnold Schmidt - 1962 - Journal of Symbolic Logic 27 (2):225-226.
  12.  4
    Review: Arnold Schmidt, Zum Verhaltnis von Existenz und Widerspruchsfreiheit. [REVIEW]Wilhelm Ackermann - 1954 - Journal of Symbolic Logic 19 (2):132-132.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13.  1
    Harrop R.. On the Existence of Finite Models and Decision Procedures for Propositional Calculi. Proceedings of the Cambridge Philosophical Society, Vol. 54 , Pp. 1–13. [REVIEW]H. Arnold Schmidt - 1960 - Journal of Symbolic Logic 25 (2):180-181.
  14.  8
    Lorenzen Paul. Zur Begründung der zweiwertigen Aussagenlogik. Ebd., S. 29–32; auch ebd., S. 109–112.H. Arnold Schmidt - 1959 - Journal of Symbolic Logic 24 (2):175-175.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15.  3
    Lorenzen Paul. Zur Begründung der Modallogik. Archiv für mathematische Logik und Grundlagenforschung, Bd. 2 Heft 1 , S. 15–28; auch Archiv für Philosophie, Bd. 5 Heft 1 , S. 95–108. [REVIEW]H. Arnold Schmidt - 1959 - Journal of Symbolic Logic 24 (2):174-175.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16.  23
    P. C. Gilmore. An Addition to “Logic of Many-Sorted Theories.”Compositio Mathematica, Vol. 13 , Pp. 277–281.H. Arnold Schmidt - 1968 - Journal of Symbolic Logic 32 (4):521.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  8
    Ridder J.. Formalistische Betrachtungen Über Intuitionistische Und Verwandte Logische Systeme. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the Section of Sciences, Bd. 53 , S. 327–336, 446–455, 787–799, 1375–1389, Und Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, Ser. A, Bd. 54 , S. 94–105, 169–177, 226–236; Auch Indagationes Mathematical Bd. 12 , S. 75–84, 98–107, 231–243, 445–459, Und Bd. 13 , S. 94–105, 169–177, 226–236. [REVIEW]H. Arnold Schmidt - 1959 - Journal of Symbolic Logic 24 (2):175-176.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18.  19
    Wolfgang Yourgrau and Donald Livingstone. On the Matter of Mathematical Constants. Methodos, Vol. 9 , Pp. 3–29.H. Arnold Schmidt - 1966 - Journal of Symbolic Logic 31 (1):115-115.
  19.  17
    J. Diller. Zur Berechenbarkeit Primitiv-Rekursiver Funktionale Endlicher Typen. Contributions to Mathematical Logic, Proceedings of the Logic Colloquium, Hannover 1966, Edited by H. Arnold Schmidt, K. Schutte, and H.-J. Thiele, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam1968, Pp. 109–120. [REVIEW]William A. Howard - 1975 - Journal of Symbolic Logic 40 (3):453-454.
  20. Contributions to Mathematical Logic.H. Arnold Schmidt, K. Schütte & H. J. Thiele (eds.) - 1968 - Amsterdam: North-Holland.
  21. Contributions to Mathematical Logic.H. Arnold Schmidt & Ernst Jochen Thiele - 1970 - Philosophy of Science 37 (4):623-625.
  22.  2
    Das fundamentale Implikationensystem einer implikativen Modalitätenstruktur mit idempotenter Möglichkeit.H. Arnold Schmidt - 1956 - Archive for Mathematical Logic 2 (2-4):33.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  23.  5
    Das fundamentale Implikationensystem einer implikativen Modalitätenstruktur mit idempotenter Möglichkeit.H. Arnold Schmidt - 1956 - Archiv für Philosophie 5 (4):353.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24.  5
    Die Gesamtheit der idempotenten implikativen Modalitätenstrukturen.H. Arnold Schmidt - 1957 - Archive for Mathematical Logic 3 (1-2):29.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  25. Mathematische Gesetze Der Logik.H. Arnold Schmidt - 1960 - Berlin, Springer.
  26.  10
    Review: Hakan Tornebohm, Notes on Modal Operators. [REVIEW]H. Arnold Schmidt - 1960 - Journal of Symbolic Logic 25 (4):368-368.
  27.  4
    Review: J. Ridder, Formalistische Betrachtungen Uber Intuitionistische und Verwandte Logische Systeme. [REVIEW]H. Arnold Schmidt - 1959 - Journal of Symbolic Logic 24 (2):175-176.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  28.  11
    Rescher Nicholas. Many-sorted quantification. Atti del XII Congresso Internazionale di Filosofia (Venezia, 12–18 settembre 1958), volume quinto, Logica, gnoseologia, filosofia della scienza, filosofia del linguaggio, Sansoni Editore, Florence 1960, pp. 447–453. [REVIEW]H. Arnold Schmidt - 1966 - Journal of Symbolic Logic 31 (1):123-124.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  29. Review: Nicholas Rescher, Many-Sorted Quantification. [REVIEW]H. Arnold Schmidt - 1966 - Journal of Symbolic Logic 31 (1):123-124.
     
    Export citation  
     
    Bookmark  
  30. Review: P. C. Gilmore, An Addition to "Logic of Many-Sorted Theories.". [REVIEW]H. Arnold Schmidt - 1967 - Journal of Symbolic Logic 32 (4):521-521.
  31.  5
    Review: Paul Lorenzen, Zur Begrundung der Modallogik. [REVIEW]H. Arnold Schmidt - 1959 - Journal of Symbolic Logic 24 (2):174-175.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  32.  10
    Review: Ronald Harrop, The Finite Model Property and Subsystems of Classical Propositional Calculus. [REVIEW]H. Arnold Schmidt - 1960 - Journal of Symbolic Logic 25 (2):181-181.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  1
    Review: R. Harrop, On the Existence of Finite Models and Decision Procedures for Propositional Calculi. [REVIEW]H. Arnold Schmidt - 1960 - Journal of Symbolic Logic 25 (2):180-181.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34. Review: Wolfgang Yourgrau, Donald Livingstone, On the Matter of Mathematical Constants. [REVIEW]H. Arnold Schmidt - 1966 - Journal of Symbolic Logic 31 (1):115-115.
  35.  7
    Törnebohm Håkan. Notes on Modal Operators. Theoria , Vol. 24 , Pp. 130–135.H. Arnold Schmidt - 1960 - Journal of Symbolic Logic 25 (4):368-368.
  36.  11
    Törnebohm Håkan. Outlines of a Boolean Tensor Algebra with Applications to the Lower Functional Calculus. Theoria , Vol. 24 , Pp. 39–47. [REVIEW]H. Arnold Schmidt - 1960 - Journal of Symbolic Logic 25 (4):367-368.
  37.  7
    Un Procédé Maniable de Décision Pour la Logique Propositionelle Intuitionniste.H. Arnold Schmidt, A. Mostowski, Arnold Schmidt, A. Tarski & R. Feys - 1960 - Journal of Symbolic Logic 25 (3):286-286.
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  20
    R. Harrop. Some Forms of Models of Propositional Calculi. Contributions to Mathematical Logic, Proceedings of the Logic Colloquium, Hannover 1966, Edited by H. Arnold Schmidt, K. Schutte, and H.-J. Thiele, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam1968, Pp. 163–174. - Ronald Harrop. On the Equivalence for Non-Derivability Testing of Finite Smiley Models and Finite Modified Smiley Models. Zeitschrift Für Mathematische Logik Und Grundlagen der Mathematik, Vol. 17 , Pp. 137–143. [REVIEW]Dolph Ulrich - 1975 - Journal of Symbolic Logic 40 (2):251.
  39.  7
    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  
  40.  6
    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   1 citation  
  41. Contributions to Mathematical Logic Proceedings of the Logic Colloquium, Hannover 1966.Kurt Schütte, H. Arnold Schmidt, H. J. Thiele & International Union of the History and Philosophy of Science - 1968 - North-Holland.
     
    Export citation  
     
    Bookmark  
  42. Kritik der Reinen Vernunft, Herausg. Von H. Schmidt. Volksausg.Immanuel Kant & Heinrich Schmidt - 1908
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  43.  16
    Lesefrilchte.V. H., Hellmut Wolff, Arnold Kowalewski, Raymund Schmidt, Karl Roretz, Franz Oppenheimer, Friedrich Blaschke, Studienassessor R. Lindemann, S. R. & Studienassessor Rudolf Lindemann - 1920 - Annalen der Philosophie 2 (1):302-320.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  44.  28
    Tarski A.. Equational Logic and Equational Theories of Algebras. Contributions to Mathematical Logic, Proceedings of the Logic Colloquium, Hannover 1966, Edited by Arnold Schmidt H., Schütte K., and Thiele H.-J., Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1968, Pp. 275–288. [REVIEW]Ralph Seifert - 1971 - Journal of Symbolic Logic 36 (1):161-162.
  45.  39
    Schmidt's Handbuch Der Lateinischen Und Griechischen Synonymik Handbuch der Lateinischen und Griechischen Synonymik, von Prof Dr J. H. Heinbich Schmidt. Leipzig: B. G. Teubner. pp. 844. 12 Mk. [REVIEW]A. S. Wilkins - 1890 - The Classical Review 4 (03):128-.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  46.  7
    Schmidt Arnold. Wie dürfen wir mit dem Unendlichen umgehen? Mathematisch-physikalische Semesterberichte zur Pflege des Zusammenhangs von Schule und Universität , vol. 1 no. 3–4 , pp. 200–212. [REVIEW]Paul Bernays - 1952 - Journal of Symbolic Logic 17 (1):62-62.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  47.  35
    Herzog-Schmidt, Volume I R. Herzog, P. L. Schmidt (edd.): Handbuch der lateinischen Literatur der Antike. Erster Band. Die archaische Literatur von den Anfängen bis Sullas Tod. Die vorliterarische Periode und die Zeit von 240 bis 78 v. Chr . Herausgegeben von Werner Suerbaum. Pp. xlviii + 611. Munich: Verlag C. H. Beck, 2002. Cased, €98. ISBN: 3-406-48134-. [REVIEW]P. G. McC Brown - 2005 - The Classical Review 55 (02):504-.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48.  1
    Von der Bernoullischen Brachistochrone zum Kalibrator—Konzept.W. H. Schmidt - 2011 - Annals of Science 68 (1):134-136.
    No categories
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  49. Die Schöpfungsgeschichte der Priesterschrift: zur Uberlieferungsgeschichte von Genesis 1,1–2,4a.Werner H. Schmidt - 1964
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  50.  12
    Priorisierung auf der Makroebene. Das Gesundheitswesen im Ensemble sozialpolitischer Leistungsbereiche.Volker H. Schmidt - 2010 - Ethik in der Medizin 22 (3):275-288.
    Der Aufsatz widmet sich dem Wohlfahrtseffekt öffentlicher Ausgaben unter besonderer Berücksichtigung der Bereiche Gesundheitswesen und Bildungswesen. Ausgangspunkt ist die Feststellung des bemerkenswert geringen Ertrags hoher Aufwendungen für öffentliche Gesundheit, der insbesondere im Vergleich von Ländern mit teils deutlich variierenden Gesundheitsbudgets auffällt. Da das Gesundheitswesen aufgrund der Opportunitätskostenproblematik mit anderen Bereichen sozialpolitischer Sicherheitsgewähr um knappe öffentliche Mittel konkurriert, ist darauf zu achten, dass deren Allokation bestmöglich optimiert wird. Im deutschen Fall mit seinem ungewöhnlich hohen Anteil öffentlicher Gesundheitsausgaben legt das eine Verschiebung (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 1000