Works by McKinsey, J. C. C. (exact spelling)

140 found
Order:
  1.  56
    Some Theorems About the Sentential Calculi of Lewis and Heyting.J. C. C. McKinsey & Alfred Tarski - 1948 - Journal of Symbolic Logic 13 (1):1-15.
  2. Outlines of a Formal Theory of Value, I.Donald Davidson, J. C. C. McKinsey & Patrick Suppes - 1955 - Philosophy of Science 22 (2):140-160.
  3.  13
    The Algebra of Topology.J. C. C. Mckinsey & Alfred Tarski - 1944 - Journal of Symbolic Logic 9 (4):96-97.
    Direct download  
     
    Export citation  
     
    My bibliography   41 citations  
  4. Axiomatic Foundations of Classical Particle Mechanics.J. C. C. Mckinsey, A. C. Sugar & Patrick Suppes - 1978 - Critica 10 (28):143-148.
     
    Export citation  
     
    My bibliography   11 citations  
  5.  13
    A Solution of the Decision Problem for the Lewis Systems S2 and S4, with an Application to Topology.J. C. C. McKinsey - 1941 - Journal of Symbolic Logic 6 (4):117-134.
  6.  82
    On the Notion of Invariance in Classical Mechanics.J. C. C. Mckinsey & Patrick Suppes - 1955 - British Journal for the Philosophy of Science 5 (20):290-302.
  7.  35
    On the Logic of Imperatives.Albert Hofstadter & J. C. C. McKinsey - 1939 - Philosophy of Science 6 (4):446-457.
  8.  2
    Review: K. R. Popper, Logic Without Assumptions. [REVIEW]J. C. C. McKinsey - 1948 - Journal of Symbolic Logic 13 (2):114-115.
  9.  17
    On the Syntactical Construction of Systems of Modal Logic.J. C. C. McKinsey - 1945 - Journal of Symbolic Logic 10 (3):83-94.
  10.  3
    On Closed Elements in Closure Algebras.J. C. C. Mckinsey & Alfred Tarski - 1946 - Journal of Symbolic Logic 11 (3):83-84.
    Direct download  
     
    Export citation  
     
    My bibliography   12 citations  
  11.  17
    The Decision Problem for Some Classes of Sentences Without Quantifiers.J. C. C. McKinsey - 1943 - Journal of Symbolic Logic 8 (2):61-76.
  12.  8
    Proof of the Independence of the Primitive Symbols of Heyting's Calculus of Propositions.J. C. C. McKinsey - 1939 - Journal of Symbolic Logic 4 (4):155-158.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  13.  21
    A New Definition of Truth.J. C. C. McKinsey - 1948 - Synthese 7 (6-A):428 - 433.
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  14.  14
    Everett C. J. And Ulam S.. Projective Algebra I. American Journal of Mathematics, Vol. 68 , Pp. 77–88.J. C. C. McKinsey - 1946 - Journal of Symbolic Logic 11 (3):85.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15.  12
    Systems of Modal Logic Which Are Not Unreasonable in the Sense of Halldén.J. C. C. McKinsey - 1953 - Journal of Symbolic Logic 18 (2):109-113.
  16.  7
    Philosophy and the Axiomatic Foundations of Physics.J. C. C. McKinsey & Patrick Suppes - 1953 - Proceedings of the XIth International Congress of Philosophy 6:49-54.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  17.  3
    The Problem of Counterfactual Conditionals.J. C. C. McKinsey & Nelson Goodman - 1947 - Journal of Symbolic Logic 12 (4):139.
  18.  11
    Remarks on the Definition and Nature of Mathematics.J. C. C. McKinsey & H. B. Curry - 1940 - Journal of Symbolic Logic 5 (1):26.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19.  8
    Vredenduin P. G. J.. A System of Strict Implication.J. C. C. McKinsey - 1939 - Journal of Symbolic Logic 4 (3):124.
  20.  6
    Churchman C. West. Elements of Logic and Formal Science. J. B. Lippincott Company, Chicago, Philadelphia, New York, 1940, Ix + 337 Pp. [REVIEW]J. C. C. McKinsey - 1941 - Journal of Symbolic Logic 6 (4):169-170.
  21. On the Representation of Projective Algebras.J. C. C. Mckinsey - 1948 - Journal of Symbolic Logic 13 (4):223-223.
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  22.  15
    Review: C. J. Everett, S. Ulam, Projective Algebra I. [REVIEW]J. C. C. McKinsey - 1946 - Journal of Symbolic Logic 11 (3):85-85.
  23.  2
    Reviews. K. R. Popper. Logic Without Assumptions. Proceedings of the Aristotelian Society, N.S. Vol. 47 , Pp. 251–292.J. C. C. McKinsey - 1948 - Journal of Symbolic Logic 13 (2):114-115.
  24.  1
    Review: Haskell B. Curry, Outlines of a Formalist Philosophy of Mathematics. [REVIEW]J. C. C. McKinsey - 1953 - Journal of Symbolic Logic 18 (1):80-81.
  25.  9
    Proof That There Are Infinitely Many Modalities in Lewis's System S.J. C. C. McKinsey - 1940 - Journal of Symbolic Logic 5 (3):110 - 112.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  26.  11
    Review: P. G. J. Vredenduin, A System of Strict Implication. [REVIEW]J. C. C. McKinsey - 1939 - Journal of Symbolic Logic 4 (3):124-124.
  27.  6
    Rival Principles of Causal Explanation in Psychology.J. C. C. McKinsey & H. M. Johnson - 1940 - Journal of Symbolic Logic 5 (3):125.
  28. Some Theorems About the Sentential Calculi of Lewis and Heyting.J. C. C. Mckinsey & Alfred Tarski - 1948 - Journal of Symbolic Logic 13 (3):171-172.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  29.  5
    Moore Willis. The indexical and the presentative functions of signs. Philosophy of science, vol. 9 , pp. 367–371.Bergmann Gustave. Discussion. Philosophy of science, vol. 9 , pp. 372–374.Piaget Jean. Le rôle de la tautologie dans la composition additive des classes et des ensembles. Compte rendu des séances de la Société de Physique et d'Histoire Naturelle de Genève , vol. 58 , pp. 102–107.Piaget Jean. Le groupement additif des classes. Compte rendu des séances de la Société de Physique et d'Histoire Naturelle de Genève , vol. 58 , pp. 107–112.Piaget Jean. Le groupement additif des relations asymétriques et ses rapports avec le groupement additif des classes. Compte rendu des séances de la Société de Physique et d'Histoire Naturelle de Genève , vol. 58 , pp. 117–122.Piaget Jean. Sur les rapports entre les groupements additifs des classes et des relations asymétriques et le groupe additif des nombres entiers. Compte rendu des séances de la Société de Physique et d'Histoire Naturelle de. [REVIEW]J. C. C. McKinsey - 1943 - Journal of Symbolic Logic 8 (2):57-58.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  30.  13
    Postulates for the Calculus of Binary Relations.J. C. C. McKinsey - 1940 - Journal of Symbolic Logic 5 (3):85-97.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  31.  9
    Seventh Meeting of the Association for Symbolic Logic.J. C. C. McKinsey - 1942 - Journal of Symbolic Logic 7 (1):47-48.
  32.  4
    Wilder R. L.. The Nature of Mathematical Proof. The American Mathematical Monthly, Vol. 51 , Pp. 309–323.J. C. C. McKinsey - 1944 - Journal of Symbolic Logic 9 (3):73.
  33.  12
    A Correction to Lewis and Langford's Symbolic Logic.J. C. C. McKinsey - 1940 - Journal of Symbolic Logic 5 (4):149.
  34.  1
    Review: Emil L. Post, Recursively Enumerable Sets of Positive Integers and Their Decision Problems. [REVIEW]J. C. C. McKinsey - 1945 - Journal of Symbolic Logic 10 (1):18-19.
  35.  9
    On the Number of Complete Extensions of the Lewis Systems of Sentential Calculus.J. C. C. McKinsey - 1944 - Journal of Symbolic Logic 9 (2):42-45.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  36.  3
    Destouches-Février Paulette. La Structure des Théories Physiques. With a Preface by Louis de Broglie. Presses Universitaires de France, Paris 1951, XI + 423 Pp. [REVIEW]J. C. C. McKinsey & Patrick Suppes - 1954 - Journal of Symbolic Logic 19 (1):52-55.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37.  5
    Review: Roderick M. Chisholm, The Contrary-to-Fact Conditional. [REVIEW]J. C. C. McKinsey - 1947 - Journal of Symbolic Logic 12 (4):138-139.
  38. Algebras and Their Sub-Algebras.A. H. Diamond & J. C. C. Mckinsey - 1948 - Journal of Symbolic Logic 13 (1):51-51.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  39.  5
    Review: Jan Kalicki, A Test for the Existence of Tautologies According to Many-Valued Truth-Tables. [REVIEW]J. C. C. McKinsey - 1951 - Journal of Symbolic Logic 16 (1):65-65.
  40.  4
    Review: Frederic B. Fitch, Note on Modal Functions. [REVIEW]J. C. C. McKinsey - 1940 - Journal of Symbolic Logic 5 (1):31-31.
  41.  4
    Review: Frederic B. Fitch, Closure and Quine's $^Ast 101$. [REVIEW]J. C. C. McKinsey - 1941 - Journal of Symbolic Logic 6 (3):102-102.
  42. Review: C. West Churchman, Elements of Logic and Formal Science. [REVIEW]J. C. C. McKinsey - 1941 - Journal of Symbolic Logic 6 (4):169-170.
  43. Proof That There Are Infinitely Many Modalities in Lewis's System S 2.J. C. C. McKinsey - 1940 - Journal of Symbolic Logic 5 (3):110-112.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  44. Review: R. Vaidyanathaswamy, Quasi-Boolean Algebras and Many-Valued Logics. [REVIEW]J. C. C. McKinsey - 1939 - Journal of Symbolic Logic 4 (1):27-28.
  45.  4
    Review: R. L. Goodstein, Function Theory in an Axiom-Free Equation Calculus. [REVIEW]J. C. C. McKinsey - 1946 - Journal of Symbolic Logic 11 (1):24-26.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  46.  3
    Review: Oystein Ore, Theory of Equivalence Relations. [REVIEW]J. C. C. McKinsey - 1943 - Journal of Symbolic Logic 8 (1):55-56.
  47.  4
    Review: Paulette Destouches-Fevrier, Logique Et Theories Physiques. [REVIEW]J. C. C. McKinsey - 1954 - Journal of Symbolic Logic 19 (1):55-55.
  48.  2
    Burks Arthur W. And Copi Irving M.. Lewis Carroll's Barber Shop Paradox. Mind, N.S. Vol. 59 , Pp. 219–222.J. C. C. McKinsey - 1950 - Journal of Symbolic Logic 15 (3):222-223.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49.  2
    Curry Haskell B.. Outlines of a Formalist Philosophy of Mathematics. Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Company, Amsterdam 1951, VIII + 75 Pp. [REVIEW]J. C. C. McKinsey - 1953 - Journal of Symbolic Logic 18 (1):80-81.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50.  2
    Ore Oystein. Theory of Equivalence Relations. Duke Mathematical Journal, Vol. 9 , Pp. 573–627.J. C. C. McKinsey - 1943 - Journal of Symbolic Logic 8 (2):55-56.
1 — 50 / 140