Results for 'H. Arnold Schmidt'

(not author) ( search as author name )
993 found
Order:
  1.  6
    Zur Begründung der Modallogik.H. Arnold Schmidt - 1959 - Journal of Symbolic Logic 24 (2):174-175.
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  35
    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.
  3.  28
    Equational Logic and Equational Theories of Algebras.A. Tarski, H. Arnold Schmidt & K. Schutte - 1971 - Journal of Symbolic Logic 36 (1):161-162.
  4.  11
    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)  
     
    Export citation  
     
    Bookmark  
  5.  27
    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  
  6.  22
    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.
  7. Mathematische Gesetze der Logik.H. Arnold Schmidt - 1960 - Berlin,: Springer.
  8. Contributions to mathematical logic.H. Arnold Schmidt, K. Schütte & H. J. Thiele (eds.) - 1968 - Amsterdam,: North-Holland.
  9.  4
    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  
  10. Contributions to Mathematical Logic.H. Arnold Schmidt & Ernst Jochen Thiele - 1970 - Philosophy of Science 37 (4):623-625.
  11.  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  
     
    Export citation  
     
    Bookmark  
  12.  6
    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  
     
    Export citation  
     
    Bookmark  
  13.  5
    Die Gesamtheit der idempotenten implikativen Modalitätenstrukturen.H. Arnold Schmidt - 1957 - Archive for Mathematical Logic 3 (1-2):29.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  9
    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.
  15.  11
    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  
  16.  8
    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  
  17.  11
    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  
  18.  5
    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.
  19.  6
    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)  
     
    Export citation  
     
    Bookmark  
  20.  10
    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)  
     
    Export citation  
     
    Bookmark  
  21.  16
    Review: Hakan Tornebohm, Notes on Modal Operators. [REVIEW]H. Arnold Schmidt - 1960 - Journal of Symbolic Logic 25 (4):368-368.
  22.  5
    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)  
     
    Export citation  
     
    Bookmark  
  23.  15
    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)  
     
    Export citation  
     
    Bookmark  
  24. Review: Nicholas Rescher, Many-Sorted Quantification. [REVIEW]H. Arnold Schmidt - 1966 - Journal of Symbolic Logic 31 (1):123-124.
     
    Export citation  
     
    Bookmark  
  25. 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.
  26.  6
    Review: Paul Lorenzen, Zur Begrundung der Modallogik. [REVIEW]H. Arnold Schmidt - 1959 - Journal of Symbolic Logic 24 (2):174-175.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  27.  11
    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  
  28.  3
    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  
  29. Review: Wolfgang Yourgrau, Donald Livingstone, On the Matter of Mathematical Constants. [REVIEW]H. Arnold Schmidt - 1966 - Journal of Symbolic Logic 31 (1):115-115.
  30.  13
    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.
  31.  7
    Ü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 (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  19
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  38
    Castor quadruplorum.Arnold Oberschelp, Karsten Schmidt-Göttsch & Günter Todt - 1988 - Archive for Mathematical Logic 27 (1):35-44.
    The busy beaver problem of Rado [6] is reexamined for the case of Turing machines given by quadruples rather than quintuples. Moreover several printing symbols are allowed. Some values of the corresponding beaver function are given and it is shown that this function for a fixed number of states and varying number of symbols is nonrecursive for three or more states and recursive for two states. As a byproduct we get that the minimal number of states in a universal Turing (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34. This index contains all the names referred to in the Editorial introductions, plus those in the main text of the Readings. It does not contain all the names in the notes and references to the Readings, nor those in the Bibliography, which is not indexed. Surnames only used eponymously (eg Delaney Clause; Nobel Prize.H. Alfven, M. Arnold, C. Atwood, K. Baedecker, Baker Jr, A. J. Balfour, A. Baring, A. E. Becquerel, E. T. Bell & J. Ben-David - 1982 - In Barry Barnes & David O. Edge (eds.), Science in Context: Readings in the Sociology of Science. MIT Press. pp. 365.
    No categories
     
    Export citation  
     
    Bookmark  
  35. H. Arnold Schmidt: "Mathematische Gesetze der Logik I". [REVIEW]Wilhelm Ackermann - 1962 - Ratio (Misc.) 4 (1):62.
    No categories
     
    Export citation  
     
    Bookmark  
  36.  3
    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)  
     
    Export citation  
     
    Bookmark  
  37. The Autopoiesis of Social Systems and its Criticisms.H. Cadenas & M. Arnold - 2015 - Constructivist Foundations 10 (2):169-176.
    Context: Although the theory of autopoietic systems was originally formulated to explain the phenomenon of life from an operational and temporal perspective, sociologist Niklas Luhmann incorporated it later within his theory of social systems. Due to this adoption, there have been several discussions regarding the applicability of this concept beyond its biological origins. Problem: This article addresses the conception of Luhman’s autopoietic social systems, and confronts this vision with criticism both of the original authors of the concept of autopoiesis and (...)
     
    Export citation  
     
    Bookmark   2 citations  
  38.  10
    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)  
     
    Export citation  
     
    Bookmark  
  39. Authors’ Response: On the Criticisms against the Autopoiesis of Social Systems.H. Cadenas & M. Arnold - 2015 - Constructivist Foundations 10 (2):196-202.
    Upshot: Firstly, we discuss the main criticisms of our arguments. Secondly, we address the comments and observations on some parts of our article. We conclude with some reflections about the perspectives of the discussion on the autopoiesis concept.
     
    Export citation  
     
    Bookmark   1 citation  
  40.  16
    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)  
     
    Export citation  
     
    Bookmark  
  41.  13
    Critica Quaedam.H. Arnold Tubbs - 1896 - The Classical Review 10 (01):29-30.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  21
    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.
  43.  32
    Contributions to Mathematical Logic. H. Arnold Schmidt, Kurt Schütte, Ernst Jochen Thiele. [REVIEW]Arthur Skidmore - 1970 - Philosophy of Science 37 (4):623-625.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  44.  75
    Philosophy of and as interdisciplinarity.Michael H. G. Hoffmann, Jan C. Schmidt & Nancy J. Nersessian - 2013 - Synthese 190 (11):1857-1864.
  45.  27
    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.
  46.  22
    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)  
     
    Export citation  
     
    Bookmark  
  47. Smoke in the Wind: Zonaras' Use of Philostorgius, Zosimus, John of Antioch, and John of Rhodes in his Narrative on the Neo-Flavian Emperors.".Michael DiMaio & W. -H. Arnold Duane - 1988 - Byzantion 58:230ff.
    No categories
     
    Export citation  
     
    Bookmark  
  48.  34
    Philosophy of Interdisciplinarity. Workshop Report.Michael H. G. Hoffmann & Jan C. Schmidt - 2011 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 42 (1):169-175.
  49. Adaptation and perceptual binding in sight and sound.Derek H. Arnold & Whitney & David - 2005 - In Colin W. G. Clifford & Gillian Rhodes (eds.), Fitting the Mind to the World: Adaptation and After-Effects in High-Level Vision. Oxford University Press.
     
    Export citation  
     
    Bookmark  
  50.  15
    Bücherbesprechungen.Friedrich Blaschke, Georg Morgenstern, Arnold Kowalewski, Raymund Schmidt, Julius Schultz & Walther Rothstock - 1920 - Annalen der Philosophie 2 (1):271-301.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 993