132 found
Order:
  1.  43
    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.
  2.  75
    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.  6
    J. C. C. Mckinsey & Alfred Tarski (1944). The Algebra of Topology. Journal of Symbolic Logic 9 (4):96-97.
    Direct download  
     
    Export citation  
     
    My bibliography   37 citations  
  4.  80
    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)  
     
    Export citation  
     
    My bibliography   6 citations  
  5.  2
    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  
     
    Export citation  
     
    My bibliography   1 citation  
  6. J. C. C. Mckinsey, A. C. Sugar & Patrick Suppes (1978). Axiomatic Foundations of Classical Particle Mechanics. Crítica: Revista Hispanoamericana de Filosofía 10 (28):143-148.
     
    Export citation  
     
    My bibliography   11 citations  
  7.  29
    Albert Hofstadter & J. C. C. McKinsey (1939). On the Logic of Imperatives. Philosophy of Science 6 (4):446-457.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   13 citations  
  8.  11
    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.
  9.  1
    J. C. C. McKinsey (1948). Review: K. R. Popper, Logic Without Assumptions. [REVIEW] Journal of Symbolic Logic 13 (2):114-115.
  10.  11
    J. C. C. McKinsey (1945). On the Syntactical Construction of Systems of Modal Logic. Journal of Symbolic Logic 10 (3):83-94.
  11. J. C. C. Mckinsey & Alfred Tarski (1946). On Closed Elements in Closure Algebras. Journal of Symbolic Logic 11 (3):83-84.
    Direct download  
     
    Export citation  
     
    My bibliography   11 citations  
  12.  6
    J. C. Chenoweth McKinsey (1934). A Note on Bronstein's and Tarter's Definition of Strict Implication. Philosophical Review 43 (5):518-520.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  13.  16
    J. C. C. McKinsey (1943). The Decision Problem for Some Classes of Sentences Without Quantifiers. Journal of Symbolic Logic 8 (2):61-76.
  14.  14
    J. C. C. McKinsey (1948). A New Definition of Truth. Synthese 7 (6-A):428 - 433.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  15.  4
    J. C. C. McKinsey (1940). Review: Frederic B. Fitch, Note on Modal Functions. [REVIEW] Journal of Symbolic Logic 5 (1):31-31.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  16.  5
    J. C. C. McKinsey (1939). Proof of the Independence of the Primitive Symbols of Heyting's Calculus of Propositions. Journal of Symbolic Logic 4 (4):155-158.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  17.  8
    J. C. C. McKinsey (1942). Seventh Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic 7 (1):47-48.
  18.  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.
  19.  5
    J. C. Cheroweth McKinsey (1935). On a Redundancy in "Principia Mathematica". Mind 44 (174):270-271.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  20.  4
    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  
     
    Export citation  
     
    My bibliography  
  21.  9
    J. C. C. McKinsey (1940). Postulates for the Calculus of Binary Relations. Journal of Symbolic Logic 5 (3):85-97.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  22.  3
    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)  
     
    Export citation  
     
    My bibliography  
  23.  7
    J. C. C. McKinsey (1940). Proof That There Are Infinitely Many Modalities in Lewis's System S. Journal of Symbolic Logic 5 (3):110 - 112.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  24. J. C. C. Mckinsey (1948). On the Representation of Projective Algebras. Journal of Symbolic Logic 13 (4):223-223.
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  25.  1
    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  
     
    Export citation  
     
    My bibliography   2 citations  
  26.  8
    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 (6 more)  
     
    Export citation  
     
    My bibliography  
  27.  2
    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)  
     
    Export citation  
     
    My bibliography  
  28.  3
    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)  
     
    Export citation  
     
    My bibliography  
  29.  1
    J. C. C. McKinsey (1940). Review: H. B. Curry, Remarks on the Definition and Nature of Mathematics. [REVIEW] Journal of Symbolic Logic 5 (1):26-26.
    Direct download  
     
    Export citation  
     
    My bibliography  
  30.  2
    J. C. C. McKinsey (1940). Review: Louis Rougier, Les Nouvelles Logiques de la Mecanique Quantique et l'Empirisme Radical. [REVIEW] Journal of Symbolic Logic 5 (1):26-26.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  31.  1
    J. C. C. McKinsey (1947). Review: Nelson Goodman, The Problem of Counterfactual Conditionals. [REVIEW] Journal of Symbolic Logic 12 (4):139-139.
    Direct download  
     
    Export citation  
     
    My bibliography  
  32.  1
    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)  
     
    Export citation  
     
    My bibliography  
  33.  2
    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  
     
    Export citation  
     
    My bibliography  
  34.  2
    J. C. C. McKinsey (1939). Review: P. G. J. Vredenduin, A System of Strict Implication. [REVIEW] Journal of Symbolic Logic 4 (3):124-124.
    Direct download  
     
    Export citation  
     
    My bibliography  
  35.  2
    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 (4 more)  
     
    Export citation  
     
    My bibliography  
  36.  2
    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)  
     
    Export citation  
     
    My bibliography  
  37.  2
    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)  
     
    Export citation  
     
    My bibliography  
  38.  2
    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)  
     
    Export citation  
     
    My bibliography  
  39.  5
    J. C. C. McKinsey (1940). A Correction to Lewis and Langford's Symbolic Logic. Journal of Symbolic Logic 5 (4):149.
  40. A. H. Diamond & J. C. C. Mckinsey (1948). Algebras and Their Sub-Algebras. Journal of Symbolic Logic 13 (1):51-51.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  41. 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)  
     
    Export citation  
     
    My bibliography   1 citation  
  42. 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)  
     
    Export citation  
     
    My bibliography   1 citation  
  43. J. C. C. McKinsey (1939). Review: R. Vaidyanathaswamy, Quasi-Boolean Algebras and Many-Valued Logics. [REVIEW] Journal of Symbolic Logic 4 (1):27-28.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  44.  1
    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)  
     
    Export citation  
     
    My bibliography  
  45.  1
    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)  
     
    Export citation  
     
    My bibliography  
  46.  1
    J. C. C. McKinsey (1940). Review: Mordchaj Wajsberg, Metalogische Beitrage II. [REVIEW] Journal of Symbolic Logic 5 (1):31-32.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  47.  1
    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)  
     
    Export citation  
     
    My bibliography  
  48.  1
    J. C. C. McKinsey (1938). Review: Archie Blake, Canonical Expressions in Boolean Algebra. [REVIEW] Journal of Symbolic Logic 3 (2):93-93.
    Direct download  
     
    Export citation  
     
    My bibliography  
  49. Solomon Hoberman & J. C. C. Mckinsey (1937). A Set of Postulates for Boolean Algebra. Journal of Symbolic Logic 2 (4):172-173.
    Direct download  
     
    Export citation  
     
    My bibliography  
  50. J. C. C. Mckinsey (1938). A Condition That a First Boolean Function Vanish Wherever a Second Does Not. Journal of Symbolic Logic 3 (1):47-48.
    Direct download  
     
    Export citation  
     
    My bibliography  
1 — 50 / 132