86 found
Order:
  1.  51
    A Theorem About Infinite-Valued Sentential Logic.Robert McNaughton - 1951 - Journal of Symbolic Logic 16 (1):1-13.
  2.  7
    A Theorem About Infinite-Valued Sentential Logic.Robert Mcnaughton - 1951 - Journal of Symbolic Logic 16 (3):227-228.
    Direct download  
     
    Export citation  
     
    Bookmark   18 citations  
  3.  32
    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.
  4.  13
    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  
  5.  28
    Introduction to Mathematical Logic. Volume I.Robert McNaughton - 1958 - Philosophical Review 67 (1):116-118.
  6. Axiomatic Systems, Conceptual Schemes, and the Consistency of Mathematical Theories.Robert McNaughton - 1954 - Philosophy of Science 21 (1):44-53.
    Lately, an increased interest in formal devices has led to an attempt on the part of some mathematicians to do without those aspects of mathematics which require intuition. One consequence of this movement has been a new conception of pure mathematics as a science of axiomatic systems. According to this conception, there is no reality beyond an axiomatic system which the statements of mathematics are about; the fact that a statement is a theorem in the system is all that is (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  7.  30
    A Metrical Concept of Happiness.Robert McNaughton - 1953 - Philosophy and Phenomenological Research 14 (2):172-183.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  34
    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.
  9.  27
    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  
  10.  22
    Conceptual Schemes in Set Theory.Robert McNaughton - 1957 - Philosophical Review 66 (1):66-80.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  23
    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  
  12.  32
    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.
  13. Review: Alan Rose, Sur les Elements Universels de Decision. [REVIEW]Robert McNaughton - 1959 - Journal of Symbolic Logic 24 (3):256-256.
    Translate
     
     
    Export citation  
     
    Bookmark  
  14. Review: Frederic B. Fitch, (Sintez Cifrovyh Avtomatov):Representation of Sequential Circuits in Combinatory Logic. [REVIEW]Robert McNaughton - 1965 - Journal of Symbolic Logic 30 (3):380-380.
     
    Export citation  
     
    Bookmark  
  15. Review: Joyce Friedman, A Decision Procedure for Computations of Finite Automata. [REVIEW]Robert McNaughton - 1965 - Journal of Symbolic Logic 30 (2):248-249.
     
    Export citation  
     
    Bookmark  
  16. Review: N. A. Routledge, Logic on Electronic Computers: A Practical Method for Reducing Expressions to Conjunctive Normal Form. [REVIEW]Robert McNaughton - 1959 - Journal of Symbolic Logic 24 (3):255-255.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17. Review: R. E. Stearns, J. Hartmanis, Regularity Preserving Modifications of Regular Expressions. [REVIEW]Robert McNaughton - 1966 - Journal of Symbolic Logic 31 (2):265-265.
  18. Les Systèmes Axiomiatiques de la Théorie des Ensembles.Hao Wang, Robert Mcnaughton, Jaakko Hintikka & J. Barkley Rosser - 1955 - Gauthier-Villars.
    Translate
     
     
    Export citation  
     
    Bookmark  
  19.  14
    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  
  20.  12
    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.
  21.  29
    Review: Raphael M. Robinson, Restricted Set-Theoretical Definitions in Arithmetic. [REVIEW]Robert McNaughton - 1966 - Journal of Symbolic Logic 31 (4):659-660.
  22.  21
    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.  29
    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.
  24.  20
    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  
  25.  17
    Bing Kurt. On Simplifying Truth-Functional Formulas.Robert McNaughton - 1957 - Journal of Symbolic Logic 22 (2):221-221.
  26.  10
    Review: Antonin Svoboda, Graphico-Mechanical Aids for the Synthesis of Relay Circuits. [REVIEW]Robert McNaughton - 1958 - Journal of Symbolic Logic 23 (1):60-61.
  27.  8
    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.
  28.  15
    Kleene S. C.. Permutability of Inferences in Gentzen's Calculi LK and LJ. Two Papers on the Predicate Calculus, by Kleene S. C. , Lithographed, Providence 1952, Pp. 1–26.Kleene S. C.. Finite Axiomatizability of Theories in the Predicate Calculus Using Additional Predicate Symbols. Two Papers on the Predicate Calculus, by Kleene S. C. , Lithographed, Providence 1952, Pp. 27–66.Kleene S. C.. Bibliography. Two Papers on the Predicate Calculus, by Kleene S. C. , Lithographed, Providence 1952, Pp. 67–68.Craig William. On Axiomatizability Within a System. [REVIEW]Robert McNaughton - 1954 - Journal of Symbolic Logic 19 (1):62-63.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  14
    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  
  30.  14
    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.
  31.  14
    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  
  32.  13
    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.
  33.  13
    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.
  34.  7
    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  
  35.  14
    The Theory of Automata, a Survey.Robert Mcnaughton - 1972 - Journal of Symbolic Logic 37 (4):760-760.
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  16
    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.
  37.  16
    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  
  38.  12
    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  
  39.  15
    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  
  40.  6
    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.
  41.  11
    Friedman Joyce. Some Results in Church's Restricted Recursive Arithmetic. [REVIEW]Robert McNaughton - 1959 - Journal of Symbolic Logic 24 (3):241-242.
  42.  11
    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.
  43.  11
    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  
  44.  13
    Review: R. J. Nelson, Introduction to Automata. [REVIEW]Robert McNaughton - 1971 - Journal of Symbolic Logic 36 (1):151-152.
  45.  9
    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  
  46.  10
    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  
  47.  10
    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  
  48.  8
    Review: Kurt Bing, On Simplifying Truth-Functional Formulas. [REVIEW]Robert McNaughton - 1957 - Journal of Symbolic Logic 22 (2):221-221.
  49.  9
    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  
  50. A Metrical Concept of Happiness.Robert Mcnaughton - 1958 - Journal of Symbolic Logic 23 (3):351-352.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 86