75 found
Order:
Disambiguations
J. C. C. Mckinsey [91]J. C. Cheroweth McKinsey [1]J. C. Chenoweth McKinsey [1]
  1. (1 other version)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.  81
    The Algebra of Topology.J. C. C. Mckinsey & Alfred Tarski - 1944 - Annals of Mathematics, Second Series 45:141-191.
    Direct download  
     
    Export citation  
     
    Bookmark   136 citations  
  3.  70
    (1 other version)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.
  4.  33
    On Closed Elements in Closure Algebras.J. C. C. Mckinsey & Alfred Tarski - 1946 - Annals of Mathematics, Ser. 2 47:122-162.
    Direct download  
     
    Export citation  
     
    Bookmark   45 citations  
  5. Axiomatic Foundations of Classical Particle Mechanics.J. C. C. Mckinsey, A. C. Sugar & Patrick Suppes - 1978 - Critica 10 (28):143-148.
  6. (1 other version)On the logic of imperatives.Albert Hofstadter & J. C. C. McKinsey - 1939 - Philosophy of Science 6 (4):446-457.
    It is the purpose of this paper to carry out a partial syntactical analysis of imperatives. Imperatives form a large body of linguistic expressions, appearing, e.g. in mathematical proofs be a continuous function!”), laws, moral injunctions, instruction, etc. For analytical purposes we distinguish between two forms of imperatives, the fiat and the directive. By a directive we mean an imperative which includes an indication of the agent who is to carry it out. For example, “Henry, don't forget to stop at (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  7.  60
    (1 other version)On the syntactical construction of systems of modal logic.J. C. C. Mckinsey - 1945 - Journal of Symbolic Logic 10 (3):83-94.
  8.  57
    (1 other version)The decision problem for some classes of sentences without quantifiers.J. C. C. McKinsey - 1943 - Journal of Symbolic Logic 8 (2):61-76.
  9.  43
    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 (7 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  10. (1 other version)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.
  11.  42
    (1 other version)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.
  12.  42
    (1 other version)A New Definition of Truth.J. C. C. McKinsey - 1948 - Synthese 7 (6-A):428 - 433.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  13.  22
    On the Representation of Projective Algebras.J. C. C. Mckinsey - 1948 - Journal of Symbolic Logic 13 (4):223-223.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  14.  55
    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 (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  15.  53
    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.
  16.  17
    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  
     
    Bookmark   1 citation  
  17.  9
    A Set of Postulates for Boolean Algebra.Solomon Hoberman & J. C. C. Mckinsey - 1937 - Journal of Symbolic Logic 2 (4):172-173.
  18.  40
    A correction to Lewis and Langford's symbolic logic.J. C. C. McKinsey - 1940 - Journal of Symbolic Logic 5 (4):149.
  19.  6
    A Condition that a first Boolean Function Vanish wherever a Second does not.J. C. C. Mckinsey - 1938 - Journal of Symbolic Logic 3 (1):47-48.
  20.  47
    A note on Bronstein's and tarter's definition of strict implication.J. C. Chenoweth McKinsey - 1934 - Philosophical Review 43 (5):518-520.
  21.  10
    A Note on Reichenbach's Axioms for Probability Implication.J. C. C. Mckinsey - 1940 - Journal of Symbolic Logic 5 (1):42-42.
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  52
    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 (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  22
    J. C. C. McKinsey. Boolean functions and points. Duke mathematical journal, vol. 2 (1936), pp. 465–471.J. C. C. Mckinsey - 1937 - Journal of Symbolic Logic 2 (1):41-41.
  24.  25
    Bergmann Gustav. A syntactical characterization of S5.J. C. C. McKinsey - 1950 - Journal of Symbolic Logic 14 (4):260-260.
  25.  25
    Britton Karl. Structure of language and structure of fact. Psyche , vol. 17 , pp. 67–91.J. C. C. McKinsey - 1940 - Journal of Symbolic Logic 5 (3):125-125.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  26.  66
    (2 other versions)Curry H. B.. Remarks on the definition and nature of mathematics. Ditto, 6 pp.J. C. C. McKinsey - 1940 - Journal of Symbolic Logic 5 (1):26-26.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  27.  16
    Construction of Systems of Modal Logic.J. C. C. McKinsey - 1949 - Proceedings of the Tenth International Congress of Philosophy 2:740-740.
  28.  33
    Dotterer Ray H.. A generalization of the antilogism.J. C. C. McKinsey - 1942 - Journal of Symbolic Logic 7 (1):38-39.
  29.  42
    Duthie William D.. Boolean functions of bounded variation. Duke mathematical journal, vol. 4 , pp. 600–606.J. C. C. McKinsey - 1938 - Journal of Symbolic Logic 3 (4):164-165.
  30.  61
    Fitch Frederic B.. Note on modal functions.J. C. C. McKinsey - 1940 - Journal of Symbolic Logic 5 (1):31-31.
  31.  80
    Fitch Frederic B.. Closure and Quine's *101.J. C. C. McKinsey - 1941 - Journal of Symbolic Logic 6 (3):102-102.
  32.  32
    Goodman Nelson. Sequences.J. C. C. McKinsey - 1942 - Journal of Symbolic Logic 7 (3):120-120.
  33.  20
    Halldén Sören. On the decision-problem of Lewis' calculus S5. Norsk malematisk tidsskrift, vol. 31 , pp. 89–94.J. C. C. McKinsey - 1950 - Journal of Symbolic Logic 15 (3):224-224.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  34.  45
    Johnson H. M.. Rival principles of causal explanation in psychology. The psychological review, vol. 46 , pp. 493–516.J. C. C. McKinsey - 1940 - Journal of Symbolic Logic 5 (3):125-125.
  35.  29
    Kalicki J.. On the structure of bracket-free formulae. Norsk matematisk tidsskrift, vol. 32 , pp. 33–39.J. C. C. McKinsey - 1951 - Journal of Symbolic Logic 16 (2):151-151.
  36.  17
    (1 other version)R. M. Martin. A homogeneous system for formal logic. The journal of symbolic logic, vol. 8 , pp. 1–23.J. C. C. McKinsey - 1943 - Journal of Symbolic Logic 8 (2):54-54.
  37.  37
    Martin R. M.. On virtual classes and real numbers.J. C. C. McKinsey - 1951 - Journal of Symbolic Logic 16 (1):64-64.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  38.  28
    On a redundancy in "principia mathematica".J. C. Cheroweth McKinsey - 1935 - Mind 44 (174):270-271.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  39.  35
    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.
  40.  15
    On the Independence of Hilbert and Ackermann's Postulates for the Calculus of Propositional Functions.J. C. C. Mckinsey - 1936 - Journal of Symbolic Logic 1 (2):64-65.
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  67
    (1 other version)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 (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  16
    (1 other version)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  
     
    Bookmark   1 citation  
  43.  60
    (1 other version)Postulates for the calculus of binary relations.J. C. C. McKinsey - 1940 - Journal of Symbolic Logic 5 (3):85-97.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  23
    Pólya G.. Sur les types des propositions composées.J. C. C. McKinsey - 1940 - Journal of Symbolic Logic 5 (4):168-168.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  45.  9
    Reducible Boolean Functions.J. C. C. Mckinsey - 1936 - Journal of Symbolic Logic 1 (2):69-69.
  46.  31
    E. R. Stabler. Boolean representation theory. The American mathematical monthly, vol. 51 , pp. 129–132.J. C. C. McKinsey - 1944 - Journal of Symbolic Logic 9 (2):53-53.
  47.  28
    Seventh meeting of the association for symbolic logic.J. C. C. Mckinsey - 1942 - Journal of Symbolic Logic 7 (1):47-48.
  48.  33
    Ushenko A.. Undecidable statements and metalanguage. Mind, n.s. vol. 53 , pp. 258–262.J. C. C. McKinsey - 1944 - Journal of Symbolic Logic 9 (4):97-98.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  49.  58
    Vredenduin P. G. J.. A system of strict implication.J. C. C. McKinsey - 1939 - Journal of Symbolic Logic 4 (3):124-124.
  50.  31
    (1 other version)Wajsberg Mordchaj. Metalogiscke Beiträge II. Wiadomości matematyczne, vol. 47 , pp. 119–139.J. C. C. McKinsey - 1940 - Journal of Symbolic Logic 5 (1):31-32.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 75