80 found
Order:
  1.  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  
  2.  37
    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.
  3.  60
    Donald Davidson, J. C. C. McKinsey & Patrick Suppes (1955). Outlines of a Formal Theory of Value, I. Philosophy of Science 22 (2):140-160.
  4.  76
    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   5 citations  
  5.  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  
  6.  1
    J. C. C. McKinsey (1948). Review: K. R. Popper, Logic Without Assumptions. [REVIEW] Journal of Symbolic Logic 13 (2):114-115.
  7.  27
    Albert Hofstadter & J. C. C. McKinsey (1939). On the Logic of Imperatives. Philosophy of Science 6 (4):446-457.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   11 citations  
  8.  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  
  9.  11
    J. C. C. McKinsey (1945). On the Syntactical Construction of Systems of Modal Logic. Journal of Symbolic Logic 10 (3):83-94.
  10. 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   3 citations  
  11.  2
    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   1 citation  
  12.  11
    J. C. C. McKinsey (1943). The Decision Problem for Some Classes of Sentences Without Quantifiers. Journal of Symbolic Logic 8 (2):61-76.
  13.  9
    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.
  14.  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  
  15.  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  
  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 (5 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  17.  0
    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  
  18.  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  
  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.  11
    J. C. C. McKinsey (1948). A New Definition of Truth. Synthese 7 (6-A):428 - 433.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  21.  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  
  22.  9
    J. C. C. McKinsey (1940). Postulates for the Calculus of Binary Relations. Journal of Symbolic Logic 5 (3):85-97.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  23.  6
    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.
  24.  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  
  25.  4
    J. C. C. McKinsey (1942). Seventh Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic 7 (1):47-48.
  26.  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  
  27.  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  
  28.  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  
  29.  5
    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  
  30.  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 (2 more)  
     
    Export citation  
     
    My bibliography  
  31.  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  
  32.  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  
  33.  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  
  34.  0
    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   1 citation  
  35.  0
    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  
  36.  5
    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)  
     
    Export citation  
     
    My bibliography  
  37.  0
    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  
  38.  0
    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  
  39.  4
    J. C. C. McKinsey (1940). A Correction to Lewis and Langford's Symbolic Logic. Journal of Symbolic Logic 5 (4):149.
  40.  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  
  41.  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  
  42.  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  
  43.  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  
  44.  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  
  45.  0
    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  
  46.  0
    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  
  47.  0
    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  
  48.  0
    J. C. C. Mckinsey (1940). A Note on Reichenbach's Axioms for Probability Implication. Journal of Symbolic Logic 5 (1):42-42.
    Direct download  
     
    Export citation  
     
    My bibliography  
  49.  0
    J. C. C. Mckinsey (1937). Boolean Functions and Points. Journal of Symbolic Logic 2 (1):41-41.
    Direct download  
     
    Export citation  
     
    My bibliography  
  50.  0
    J. C. C. Mckinsey (1937). On Boolean Functions of Many Variables. Journal of Symbolic Logic 2 (1):58-59.
    Direct download  
     
    Export citation  
     
    My bibliography  
1 — 50 / 80