Results for 'J. C. Chenoweth McKinsey'

934 found
Order:
  1.  47
    A note on Bronstein's and tarter's definition of strict implication.J. C. Chenoweth McKinsey - 1934 - Philosophical Review 43 (5):518-520.
  2.  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.
  3.  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  
  4.  80
    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  
  5.  59
    (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.
  6. (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.
  7.  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  
  8.  30
    (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  
  9.  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  
  10.  16
    Construction of Systems of Modal Logic.J. C. C. McKinsey - 1949 - Proceedings of the Tenth International Congress of Philosophy 2:740-740.
  11.  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  
  12.  58
    Vredenduin P. G. J.. A system of strict implication.J. C. C. McKinsey - 1939 - Journal of Symbolic Logic 4 (3):124-124.
  13.  22
    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  
  14.  52
    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.
  15.  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  
  16.  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.
  17.  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.
  18. (1 other version)Review: C. J. Everett, S. Ulam, Projective Algebra I. [REVIEW]J. C. C. McKinsey - 1946 - Journal of Symbolic Logic 11 (3):85-85.
  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.  60
    Fitch Frederic B.. Note on modal functions.J. C. C. McKinsey - 1940 - Journal of Symbolic Logic 5 (1):31-31.
  21.  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  
  22.  65
    (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  
  23.  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  
  24.  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.
  25.  32
    Goodman Nelson. Sequences.J. C. C. McKinsey - 1942 - Journal of Symbolic Logic 7 (3):120-120.
  26.  28
    On a redundancy in "principia mathematica".J. C. Cheroweth McKinsey - 1935 - Mind 44 (174):270-271.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  27.  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  
  28.  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.
  29.  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  
  30.  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.
  31.  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  
  32.  32
    Dotterer Ray H.. A generalization of the antilogism.J. C. C. McKinsey - 1942 - Journal of Symbolic Logic 7 (1):38-39.
  33.  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.
  34.  26
    Seventh meeting of the association for symbolic logic.J. C. C. Mckinsey - 1942 - Journal of Symbolic Logic 7 (1):47-48.
  35.  81
    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.
  36. Axiomatic Foundations of Classical Particle Mechanics.J. C. C. Mckinsey, A. C. Sugar & Patrick Suppes - 1978 - Critica 10 (28):143-148.
  37.  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.
  38.  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  
  39.  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  
  40.  9
    Reducible Boolean Functions.J. C. C. Mckinsey - 1936 - Journal of Symbolic Logic 1 (2):69-69.
  41.  30
    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.
  42.  25
    Bergmann Gustav. A syntactical characterization of S5.J. C. C. McKinsey - 1950 - Journal of Symbolic Logic 14 (4):260-260.
  43.  36
    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-73.
  44. (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.
  45.  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  
  46.  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.
  47.  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  
  48.  85
    Review: R. M. Hare, Imperative Sentences. [REVIEW]J. C. C. McKinsey - 1950 - Journal of Symbolic Logic 15 (2):145-145.
  49.  49
    Blake Archie. Canonical expressions in Boolean algebra. Dissertation Chicago 1937. Lithographed. The University of Chicago Libraries, Chicago 1938, ii + 60 pp. [REVIEW]J. C. C. McKinsey - 1938 - Journal of Symbolic Logic 3 (2):93-93.
  50.  36
    Foster Alfred L. and Bernstein B. A.. Symmetric approach to commutative rings, with duality theorem: Boolean duality as a special case. Duke mathematical journal, vol. 11 , pp. 603–616. [REVIEW]J. C. C. McKinsey - 1944 - Journal of Symbolic Logic 9 (4):97-97.
1 — 50 / 934