66 found
Sort by:
  1. Leopold Lowenheim, S. C. Kleene, Paul Bernays, Saunders MacLane, Ernest Nagel, Albert Wohlstetter, J. C. C. McKinsey, Charles A. Baylis, Carl G. Hempel & C. H. Langford (2013). The Journal of Symbolic Logic Publishes Original Scholarly Work in Symbolic Logic. Founded in 1936, It has Become the Leading Research Journal in the Field. The Journal Aims to Represent Logic Broadly, Including its Connections with Mathematics and Philosophy as Well as Newer Aspects Related to Computer Science and Linguistics. [REVIEW] Journal of Symbolic Logic 43 (44).
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Donald Davidson, J. C. C. McKinsey & Patrick Suppes (1955). Outlines of a Formal Theory of Value, I. Philosophy of Science 22 (2):140-160.
  3. J. C. C. McKinsey & Patrick Suppes (1955). On the Notion of Invariance in Classical Mechanics. British Journal for the Philosophy of Science 5 (20):290-302.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  4. J. C. C. McKinsey (1954). Review: Paulette Destouches-Fevrier, Logique Et Theories Physiques. [REVIEW] Journal of Symbolic Logic 19 (1):55-55.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. J. C. C. McKinsey (1954). Review: P. Destouches-Fevrier, La Structure Ouverte des Theories Quantiques. [REVIEW] Journal of Symbolic Logic 19 (1):55-56.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. J. C. C. McKinsey & Patrick Suppes (1954). Review: Paulette Destouches-Fevrier, Louis de Broglie, La Structure des Theories Physiques. [REVIEW] Journal of Symbolic Logic 19 (1):52-55.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. J. C. C. McKinsey (1953). Review: Haskell B. Curry, Outlines of a Formalist Philosophy of Mathematics. [REVIEW] Journal of Symbolic Logic 18 (1):80-81.
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. J. C. C. McKinsey (1953). Systems of Modal Logic Which Are Not Unreasonable in the Sense of Halldén. Journal of Symbolic Logic 18 (2):109-113.
  9. J. C. C. McKinsey (1951). Review: Jan Kalicki, Note on Truth-Tables. [REVIEW] Journal of Symbolic Logic 16 (1):65-65.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. J. C. C. McKinsey (1951). Review: Jan Kalicki, A Test for the Existence of Tautologies According to Many-Valued Truth-Tables. [REVIEW] Journal of Symbolic Logic 16 (1):65-65.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. J. C. C. McKinsey (1951). Review: J. Kalicki, On the Structure of Bracket-Free Formulae. [REVIEW] Journal of Symbolic Logic 16 (2):151-151.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  12. J. C. C. McKinsey (1951). Review: R. M. Martin, On Virtual Classes and Real Numbers. [REVIEW] Journal of Symbolic Logic 16 (1):64-64.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  13. J. C. C. McKinsey (1950). Review: A. F. Peters, R. M. Hare on Imperative Sentences: A Criticism. [REVIEW] Journal of Symbolic Logic 15 (2):145-145.
    Direct download  
     
    My bibliography  
     
    Export citation  
  14. J. C. C. McKinsey (1950). Review: Arthur W. Burks, Irving M. Copi, Lewis Carroll's Barber Shop Paradox. [REVIEW] Journal of Symbolic Logic 15 (3):222-223.
    Direct download  
     
    My bibliography  
     
    Export citation  
  15. J. C. C. McKinsey (1950). Review: Gustav Bergmann, A Syntactical Characterization of S5. [REVIEW] Journal of Symbolic Logic 14 (4):260-260.
    Direct download  
     
    My bibliography  
     
    Export citation  
  16. J. C. C. McKinsey (1950). Review: R. M. Hare, Imperative Sentences. [REVIEW] Journal of Symbolic Logic 15 (2):145-145.
    Direct download  
     
    My bibliography  
     
    Export citation  
  17. J. C. C. McKinsey (1950). Review: Soren Hallden, An Analogy in Modal Logic to the Lesniewski-Mihailescu Theorem. [REVIEW] Journal of Symbolic Logic 15 (1):70-70.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  18. J. C. C. McKinsey (1950). Review: Soren Hallden, On the Decision-Problem of Lewis' Calculus S5. [REVIEW] Journal of Symbolic Logic 15 (3):224-224.
    Direct download  
     
    My bibliography  
     
    Export citation  
  19. J. C. C. McKinsey (1950). Review: Victor Lalan, Equations Fonctionnelles dans un Anneau Booleien. [REVIEW] Journal of Symbolic Logic 15 (3):230-231.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  20. J. C. C. McKinsey (1948). A New Definition of Truth. Synthese 7 (6-A):428 - 433.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. J. C. C. McKinsey (1948). Review: K. R. Popper, Logic Without Assumptions. [REVIEW] Journal of Symbolic Logic 13 (2):114-115.
  22. J. C. C. McKinsey & Alfred Tarski (1948). Some Theorems About the Sentential Calculi of Lewis and Heyting. Journal of Symbolic Logic 13 (1):1-15.
  23. J. C. C. McKinsey (1947). Review: George D. Birkhoff, Garrett Birkhoff, Distributive Postulates for Systems Like Boolean Algebras. [REVIEW] Journal of Symbolic Logic 12 (1):28-29.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  24. J. C. C. McKinsey (1947). Review: Nelson Goodman, The Problem of Counterfactual Conditionals. [REVIEW] Journal of Symbolic Logic 12 (4):139-139.
    Direct download  
     
    My bibliography  
     
    Export citation  
  25. J. C. C. McKinsey (1947). Review: Roderick M. Chisholm, The Contrary-to-Fact Conditional. [REVIEW] Journal of Symbolic Logic 12 (4):138-139.
    Direct download  
     
    My bibliography  
     
    Export citation  
  26. J. C. C. McKinsey (1946). Review: C. J. Everett, S. Ulam, Projective Algebra I. [REVIEW] Journal of Symbolic Logic 11 (3):85-85.
    Direct download  
     
    My bibliography  
     
    Export citation  
  27. J. C. C. McKinsey (1946). Review: Lee Byrne, Two Brief Formulations of Boolean Algebra. [REVIEW] Journal of Symbolic Logic 11 (3):85-85.
    Direct download  
     
    My bibliography  
     
    Export citation  
  28. J. C. C. McKinsey (1946). Review: R. L. Goodstein, Function Theory in an Axiom-Free Equation Calculus. [REVIEW] Journal of Symbolic Logic 11 (1):24-26.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  29. J. C. C. McKinsey (1945). On the Syntactical Construction of Systems of Modal Logic. Journal of Symbolic Logic 10 (3):83-94.
  30. J. C. C. McKinsey (1945). Review: Emil L. Post, Recursively Enumerable Sets of Positive Integers and Their Decision Problems. [REVIEW] Journal of Symbolic Logic 10 (1):18-19.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  31. J. C. C. McKinsey (1944). On the Number of Complete Extensions of the Lewis Systems of Sentential Calculus. Journal of Symbolic Logic 9 (2):42-45.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  32. J. C. C. McKinsey (1944). Review: Alfred L. Foster, B. A. Bernstein, Symmetric Approach to Commutative Rings, With Duality Theorem: Boolean Duality as a Special Case. [REVIEW] Journal of Symbolic Logic 9 (4):97-97.
    Direct download  
     
    My bibliography  
     
    Export citation  
  33. J. C. C. McKinsey (1944). Review: A. Ushenko, Undecidable Statements and Metalanguage. [REVIEW] Journal of Symbolic Logic 9 (4):97-98.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  34. J. C. C. McKinsey (1944). Review: Frank G. Bruner, Mathematical Logic With Transfinite Types. [REVIEW] Journal of Symbolic Logic 9 (3):72-73.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  35. J. C. C. McKinsey (1944). Review: F. R. Stabler, Boolean Representation Theory. [REVIEW] Journal of Symbolic Logic 9 (2):53-53.
    Direct download  
     
    My bibliography  
     
    Export citation  
  36. J. C. C. McKinsey (1944). Review: R. L. Wilder, The Nature of Mathematical Proof. [REVIEW] Journal of Symbolic Logic 9 (3):73-73.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  37. J. C. C. McKinsey (1943). Review: E. R. Stabler, Boolean Algebra as an Introduction to Postulational Methods. [REVIEW] Journal of Symbolic Logic 8 (1):56-56.
    Direct download  
     
    My bibliography  
     
    Export citation  
  38. J. C. C. McKinsey (1943). Review: Oystein Ore, Theory of Equivalence Relations. [REVIEW] Journal of Symbolic Logic 8 (1):55-56.
    Direct download  
     
    My bibliography  
     
    Export citation  
  39. J. C. C. McKinsey (1943). Review: R. M. Martin, A Homogeneous System for Formal Logic. [REVIEW] Journal of Symbolic Logic 8 (1):54-54.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  40. J. C. C. McKinsey (1943). Review: Willis Moore, Philosophy of Science. [REVIEW] Journal of Symbolic Logic 8 (1):57-58.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  41. J. C. C. McKinsey (1943). The Decision Problem for Some Classes of Sentences Without Quantifiers. Journal of Symbolic Logic 8 (2):61-76.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  42. J. C. C. McKinsey (1942). Review: Nelson Goodman, Sequences. [REVIEW] Journal of Symbolic Logic 7 (3):120-120.
    Direct download  
     
    My bibliography  
     
    Export citation  
  43. J. C. C. McKinsey (1942). Review: Ray H. Dotterer, A Generalization of the Antilogism. [REVIEW] Journal of Symbolic Logic 7 (1):38-39.
    Direct download  
     
    My bibliography  
     
    Export citation  
  44. J. C. C. McKinsey (1942). Seventh Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic 7 (1):47-48.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  45. J. C. C. McKinsey (1941). A Solution of the Decision Problem for the Lewis Systems S2 and S4, with an Application to Topology. Journal of Symbolic Logic 6 (4):117-134.
  46. J. C. C. McKinsey (1941). Review: C. West Churchman, Elements of Logic and Formal Science. [REVIEW] Journal of Symbolic Logic 6 (4):169-170.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  47. J. C. C. McKinsey (1941). Review: Frederic B. Fitch, Closure and Quine's $^Ast 101$. [REVIEW] Journal of Symbolic Logic 6 (3):102-102.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  48. J. C. C. McKinsey (1941). Review: George D. W. Berry, On Quine's Axioms of Quantification. [REVIEW] Journal of Symbolic Logic 6 (3):102-102.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  49. J. C. C. McKinsey (1940). A Correction to Lewis and Langford's Symbolic Logic. Journal of Symbolic Logic 5 (4):149.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  50. J. C. C. McKinsey (1940). Postulates for the Calculus of Binary Relations. Journal of Symbolic Logic 5 (3):85-97.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 66