86 found
Order:
Disambiguations
Robert McNaughton [87]R. Mcnaughton [1]Rebecca McNaughton [1]
  1.  28
    J. Richard Buchi and Lawrence H. Landweber. Solving Sequential Conditions by Finite-State Strategies. Transactions of the American Mathematical Society, Vol. 138 , Pp. 295–311. [REVIEW]Robert McNaughton - 1972 - Journal of Symbolic Logic 37 (1):200-201.
  2.  25
    Raphael M. Robinson. Restricted Set-Theoretical Definitions in Arithmetic. Proceedings of the American Mathematical Society, Vol. 9 , Pp. 238–242. - Raphael M. Robinson. Restricted Set-Theoretical Definitions in Arithmetic. Summaries of Talks Presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd Edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, Pp. 139–140. [REVIEW]Robert McNaughton - 1966 - Journal of Symbolic Logic 31 (4):659-660.
  3.  36
    A Theorem About Infinite-Valued Sentential Logic.Robert McNaughton - 1951 - Journal of Symbolic Logic 16 (1):1-13.
  4.  16
    N. E. Kobrinskii and B. A. Trakhtenbrot. Introduction to the Theory of Finite Automata. English Translation of XXIX 97, Edited by J. C. Shepherdson. Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Company, Amsterdam1965, X + 337 Pp. [REVIEW]Robert McNaughton - 1968 - Journal of Symbolic Logic 33 (3):466.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  11
    Nelson R. J.. Introduction to Automata. John Wiley & Sons, Inc., New York-London-Sydney 1968, Xii + 400 Pp. [REVIEW]Robert McNaughton - 1971 - Journal of Symbolic Logic 36 (1):151-152.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  10
    R. E. Stearns and J. Hartmanis. Regularity Preserving Modifications of Regular Expressions. Information and Control, Vol. 6 , Pp. 55–69. [REVIEW]Robert McNaughton - 1966 - Journal of Symbolic Logic 31 (2):265.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  9
    Frederic B. Fitch. Representation of Sequential Circuits in Combinatory Logic. Philosophy of Science, Vol. 25 , Pp. 263–279. [REVIEW]Robert McNaughton - 1965 - Journal of Symbolic Logic 30 (3):380.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8. Axiomatic Systems, Conceptual Schemes, and the Consistency of Mathematical Theories.Robert McNaughton - 1954 - Philosophy of Science 21 (1):44-53.
  9.  9
    Infinite Games Played on Finite Graphs.Robert McNaughton - 1993 - Annals of Pure and Applied Logic 65 (2):149-184.
    The concept of an infinite game played on a finite graph is perhaps novel in the context of an rather extensive recent literature in which infinite games are generally played on an infinite game tree. We claim two advantages for our model, which is admittedly more restrictive. First, our games have a more apparent resemblance to ordinary parlor games in spite of their infinite duration. Second, by distinguishing those nodes of the graph that determine the winning and losing of the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  10.  4
    A. W. Burks and J. B. Wright. Sequence Generators and Digital Computers. Recursive Function Theory, Proceedings of Symposia in Pure Mathematics, Vol. 5, American Mathematical Society, Providence 1962, Pp. 139–199. - Arthur W. Burks and Jesse B. Wright. Sequence Generators, Graphs, and Formal Languages. Information and Control, Vol. 5 , Pp. 204–212. [REVIEW]Robert McNaughton - 1964 - Journal of Symbolic Logic 29 (4):210-212.
  11.  6
    Fraenkel Abraham A.. Abstract Set Theory. Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Company, Amsterdam 1953, XII + 479 Pp. [REVIEW]Robert McNaughton - 1955 - Journal of Symbolic Logic 20 (2):164-165.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  1
    ‘He’s My Mate You See’: A Critical Discourse Analysis of the Therapeutic Role of Companion Animals in the Social Networks of People with a Diagnosis of Severe Mental Illness.Helen Brooks, Kelly Rushton, Karina Lovell, Rebecca McNaughton & Anne Rogers - 2019 - Medical Humanities 45 (3):326-334.
    There is increasing recognition of the role pets play in the management of mental health conditions. Evidence suggests that pets promote social interaction and provide secure and intimate relationships which support the management of symptoms. This paper aimed to extend this evidence by exploring the phenomenological understanding of relationships and relationality with companion animals as therapeutic agents in the context of people’s wider social networks.A qualitative study was undertaken incorporating 35 interviews with 12 participants with a diagnosis of severe mental (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  3
    Joyce Friedman. A Decision Procedure for Computations of Finite Automata. Journal of the Association for Computing Machinery, Vol. 9 , Pp. 315–323. [REVIEW]Robert McNaughton - 1965 - Journal of Symbolic Logic 30 (2):248-249.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  3
    A Theorem About Infinite-Valued Sentential Logic.Robert Mcnaughton - 1951 - Journal of Symbolic Logic 16 (3):227-228.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  15.  6
    Review: Antonin Svoboda, Graphico-Mechanical Aids for the Synthesis of Relay Circuits. [REVIEW]Robert McNaughton - 1958 - Journal of Symbolic Logic 23 (1):60-61.
  16.  29
    Pugmire J. M. And Rose A.. Formulae Corresponding to Universal Decision Elements. Zeitschrift Für Mathematische Logik Und Grundlagen der Mathematik, Vol. 4 , Pp. 1–9.Rose A.. The Use of Universal Decision Elements as Flip-Flops. Zeitschrift Für Mathematische Logik Und Grundlagen der Mathematik, Vol. 4 , Pp. 169–174.Rose Alan. Nouvelle Méthode Pour Déterminer les Formules Qui Correspondent À des Éléments Universels de Décision. Comptes Rendus Hebdomadaires des Séances de l'Académie des Sciences , Vol. 249 , Pp. 870–872. [REVIEW]Robert McNaughton - 1962 - Journal of Symbolic Logic 27 (2):250-250.
  17.  2
    Gene F. Rose. Output Completeness in Sequential Machines. Proceedings of the American Mathematical Society, Vol. 13 , Pp. 611–614. [REVIEW]Robert McNaughton - 1966 - Journal of Symbolic Logic 31 (1):140-140.
  18.  25
    Review: Raphael M. Robinson, Restricted Set-Theoretical Definitions in Arithmetic. [REVIEW]Robert McNaughton - 1966 - Journal of Symbolic Logic 31 (4):659-660.
  19.  10
    J. Richard Büchi. Weak Second-Order Arithmetic and Finite Automata. Zeitschrift Für Mathematische Logik Und Grundlagen der Mathematik, Vol. 6 , Pp. 66–92. - J. Richard Büchi. On a Decision Method in Restricted Second Order Arithmetic. Logic, Methodology and Philosophy of Science, Proceedings of the 1960 International Congress, Edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, Pp. 1–11. [REVIEW]Robert McNaughton - 1963 - Journal of Symbolic Logic 28 (1):100-102.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  18
    Conceptual Schemes in Set Theory.Robert McNaughton - 1957 - Philosophical Review 66 (1):66-80.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  12
    Mostowski A.. On Models of Axiomatic Systems. Fundamenta Mathematicae, Vol. 39 , Pp. 133–158.Robert McNaughton - 1954 - Journal of Symbolic Logic 19 (3):220-221.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  11
    McCluskey E. J. Jr. Detection of Group Invariance or Total Symmetry of a Boolean Function. The Bell System Technical Journal, Vol. 35 , Pp. 1445–1453. [REVIEW]Robert McNaughton - 1958 - Journal of Symbolic Logic 23 (2):236-236.
  23.  10
    Wang Hao. The Irreducibility of Impredicative Principles. Mathematische Annalen, Vol. 125 No. 1 , Pp. 56–66.Robert McNaughton - 1953 - Journal of Symbolic Logic 18 (3):265-266.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  7
    Review: Raymond J. Nelson, Weak Simplest Normal Truth Functions. [REVIEW]Robert McNaughton - 1956 - Journal of Symbolic Logic 21 (3):330-331.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  9
    Burks Arthur W. And Copi Irving M.. The Logical Design of an Idealized General-Purpose Computer. Journal of the Franklin Institute, Vol. 261 , Pp. 299–314, 421–436. [REVIEW]Robert McNaughton - 1957 - Journal of Symbolic Logic 22 (3):332-332.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  9
    Friedman Joyce. Some Results in Church's Restricted Recursive Arithmetic. [REVIEW]Robert McNaughton - 1959 - Journal of Symbolic Logic 24 (3):241-242.
  27.  9
    Rose Alan. Many-Valued Logical Machines. Proceedings of the Cambridge Philosophical Society, Vol. 54 , Pp. 307–321.Robert McNaughton - 1962 - Journal of Symbolic Logic 27 (2):250-250.
  28.  9
    Ryll-Nardzewski C.. The Role of the Axiom of Induction in Elementary Arithmetic. Fundamenta Mathematicae, Vol. 39 , Pp. 239–263. [REVIEW]Robert McNaughton - 1954 - Journal of Symbolic Logic 19 (4):287-288.
  29.  9
    Routledge N. A.. Logic on Electronic Computers: A Practical Method for Reducing Expressions to Conjunctive Normal Form. Proceedings of the Cambridge Philosophical Society, Vol. 52 , Pp. 161–173. [REVIEW]Robert McNaughton - 1959 - Journal of Symbolic Logic 24 (3):255-255.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  11
    oΘΩn ΠϒΛΑΡΙΝΟΣ. Ἡ Ἀξιωματιϰὴ Μέθοδος . Ἐϰδοτιϰὸς Οἴϰος I. Καὶ Π. Ζαχαροπύλου, Athens1948, 32 Pp. - S. Jaśkowski. Une Modification des Définitions Fondamentales de la Géométrie des Corps de M.A. Tarski. Annates de la Société Polonaise de Mathématique, Vol. 21 , Pp. 298–301. [REVIEW]Robert McNaughton - 1954 - Journal of Symbolic Logic 19 (4):298-298.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  31.  27
    A Metrical Concept of Happiness.Robert McNaughton - 1953 - Philosophy and Phenomenological Research 14 (2):172-183.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  32.  5
    Les Systèmes Axiomatiques de la Théorie des Ensembles.Hao Wang, Robert Mcnaughton & P. Destouches-Fevrier - 1954 - Journal of Symbolic Logic 19 (1):64-64.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  3
    Review: Arthur W. Burks, Irving M. Copi, The Logical Design of an Idealized General-Purpose Computer. [REVIEW]Robert McNaughton - 1957 - Journal of Symbolic Logic 22 (3):332-332.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  3
    Review: Joyce Friedman, Some Results in Church's Restricted Recursive Arithmetic. [REVIEW]Robert McNaughton - 1959 - Journal of Symbolic Logic 24 (3):241-242.
  35.  8
    Bing Kurt. On Simplifying Truth-Functional Formulas.Robert McNaughton - 1957 - Journal of Symbolic Logic 22 (2):221-221.
  36.  8
    McCluskey E. J. Jr. Minimization of Boolean Functions. The Bell System Technical Journal, Vol. 35 , Pp. 1417–1444.Robert McNaughton - 1958 - Journal of Symbolic Logic 23 (2):235-235.
  37.  8
    Nelson Raymond J.. Weak Simplest Normal Truth Functions.Robert McNaughton - 1956 - Journal of Symbolic Logic 21 (3):330-331.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  38.  8
    Rosser J. Barkley. Axiomatization of Infinite Valued Logics. Logique Et Analyse , N.S. Vol. 3 , Pp. 137–153.Robert McNaughton - 1962 - Journal of Symbolic Logic 27 (1):111-112.
  39.  10
    Review: R. J. Nelson, Introduction to Automata. [REVIEW]Robert McNaughton - 1971 - Journal of Symbolic Logic 36 (1):151-152.
  40.  7
    Some Formal Relative Consistency Proofs.Robert McNaughton - 1953 - Journal of Symbolic Logic 18 (2):136-144.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  11
    Review: Raymond J. Nelson, Simplest Normal Truth Functions; W. V. Quine, A Way to Simplify Truth Functions. [REVIEW]Robert McNaughton - 1956 - Journal of Symbolic Logic 21 (3):328-330.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  42.  8
    The Theory of Automata, a Survey.Robert Mcnaughton - 1972 - Journal of Symbolic Logic 37 (4):760-760.
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  10
    J. Richard Büchi. Weak Second-Order Arithmetic and Finite Automata. Zeitschrift Für Mathematische Logik Und Grundlagen der Mathematik, Vol. 6 , Pp. 66–92. - J. Richard Büchi. On a Decision Method in Restricted Second Order Arithmetic. Logic, Methodology and Philosophy of Science, Proceedings of the 1960 International Congress, Edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, Pp. 1–11. [REVIEW]Robert McNaughton - 1963 - Journal of Symbolic Logic 28 (1):100-102.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  44.  6
    oΘΩn ΠϒΛΑΡΙΝΟΣ. Ἡ ἀξιωματιϰὴ μέθοδος . Ἐϰδοτιϰὸς Οἴϰος I. ϰαὶ Π. Ζαχαροπύλου, Athens1948, 32 pp. - S. Jaśkowski. Une modification des définitions fondamentales de la géométrie des corps de M.A. Tarski. Annates de la Société Polonaise de Mathématique, vol. 21 , pp. 298–301. [REVIEW]Robert McNaughton - 1954 - Journal of Symbolic Logic 19 (4):298-298.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  45.  6
    Konéčnyé Avlomaty - B. A. Trahténbrot and Á. M. Barzdin′. Konéčnyé Avlomaty . Izdatél′Stvo “Nauka,”Moscow1970, 400 Pp. [REVIEW]Robert McNaughton - 1977 - Journal of Symbolic Logic 42 (1):111-112.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  9
    Review: N. E. Kobrinskii, B. A. Trakhtenbrot, Introduction to the Theory of Finite Automata. [REVIEW]Robert McNaughton - 1968 - Journal of Symbolic Logic 33 (3):466-466.
  47.  7
    oΘΩn ΠϒΛΑΡΙΝΟΣ. Ἡ Ἀξιωματιϰὴ Μέθοδος . Ἐϰδοτιϰὸς Οἴϰος I. Καὶ Π. Ζαχαροπύλου, Athens1948, 32 Pp. - S. Jaśkowski. Une Modification des Définitions Fondamentales de la Géométrie des Corps de M.A. Tarski. Annates de la Société Polonaise de Mathématique, Vol. 21 , Pp. 298–301. [REVIEW]Robert McNaughton - 1954 - Journal of Symbolic Logic 19 (4):298-298.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48.  4
    Review: Kurt Bing, On Simplifying Truth-Functional Formulas. [REVIEW]Robert McNaughton - 1957 - Journal of Symbolic Logic 22 (2):221-221.
  49.  8
    Review: B. A. Trakhtenbrot, Ya. M. Barzdin, Finite Automata. Behavior and Synthesis. [REVIEW]Robert McNaughton - 1977 - Journal of Symbolic Logic 42 (1):111-112.
  50.  11
    The Folded Tree.Arthur W. Burks, Robert Mcnaughton, Carl H. Pollmar, Don W. Warren & Jesse B. Wright - 1956 - Journal of Symbolic Logic 21 (3):334-334.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 86