Order:
Order
- 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.details
- The Algebra of Topology.J. C. C. Mckinsey & Alfred Tarski - 1944 - Annals of Mathematics, Second Series 45:141-191.details
- Outlines of a Formal Theory of Value, I.Donald Davidson, J. C. C. McKinsey & Patrick Suppes - 1955 - Philosophy of Science 22 (2):140-160.details
- The Problem of Counterfactual Conditionals.J. C. C. McKinsey & Nelson Goodman - 1947 - Journal of Symbolic Logic 12 (4):139.details
- 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.details
- Axiomatic Foundations of Classical Particle Mechanics.J. C. C. Mckinsey, A. C. Sugar & Patrick Suppes - 1978 - Critica 10 (28):143-148.details
- On Closed Elements in Closure Algebras.J. C. C. Mckinsey & Alfred Tarski - 1946 - Annals of Mathematics, Ser. 2 47:122-162.details
- On the Logic of Imperatives.Albert Hofstadter & J. C. C. McKinsey - 1939 - Philosophy of Science 6 (4):446-457.details
- 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.details
- On the Syntactical Construction of Systems of Modal Logic.J. C. C. Mckinsey - 1945 - Journal of Symbolic Logic 10 (3):83-94.details
- Review: K. R. Popper, Logic Without Assumptions. [REVIEW]J. C. C. McKinsey - 1948 - Journal of Symbolic Logic 13 (2):114-115.details
- 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.details
- The Decision Problem for Some Classes of Sentences Without Quantifiers.J. C. C. McKinsey - 1943 - Journal of Symbolic Logic 8 (2):61-76.details
- 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.details
- 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.details
- A New Definition of Truth.J. C. C. McKinsey - 1948 - Synthese 7 (6-A):428 - 433.details
- Outlines of a Formalist Philosophy of Mathematics.J. C. C. McKinsey - 1953 - Journal of Symbolic Logic 18 (1):80-81.details
- On the Representation of Projective Algebras.J. C. C. Mckinsey - 1948 - Journal of Symbolic Logic 13 (4):223-223.details
- A Solution of the Decision Problem for the Lewis Systems S2 and S4, With an Application to Topology.J. C. C. Mckinsey - 1942 - Journal of Symbolic Logic 7 (3):118-119.details
- On the Logic of Imperatives.Albert Hofstadter & J. C. C. Mckinsey - 1940 - Journal of Symbolic Logic 5 (1):41-41.details
- On the Syntactical Construction of Systems of Modal Logic.J. C. C. Mckinsey - 1946 - Journal of Symbolic Logic 11 (3):98-99.details
- On the Number of Complete Extensions of the Lewis Systems of Sentential Calculus.J. C. C. Mckinsey - 1944 - Journal of Symbolic Logic 9 (4):96-96.details
- 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.details
- The Contrary-to-Fact Conditional.J. C. C. McKinsey & Roderick M. Chisholm - 1947 - Journal of Symbolic Logic 12 (4):138.details
- 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.details
- Canonical Expressions in Boolean Algebra.J. C. C. McKinsey - 1938 - Journal of Symbolic Logic 3 (2):93-93.details
- 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.details
- 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.details
- 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.details
- A Note on Bronstein's and Tarter's Definition of Strict Implication.J. C. Chenoweth McKinsey - 1934 - Philosophical Review 43 (5):518-520.details
- Postulates for the Calculus of Binary Relations.J. C. C. McKinsey - 1940 - Journal of Symbolic Logic 5 (3):85-97.details
- Vredenduin P. G. J.. A System of Strict Implication.J. C. C. McKinsey - 1939 - Journal of Symbolic Logic 4 (3):124-124.details
- 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.details
- Review: R. Vaidyanathaswamy, Quasi-Boolean Algebras and Many-Valued Logics. [REVIEW]J. C. C. McKinsey - 1939 - Journal of Symbolic Logic 4 (1):27-28.details
- Review: C. West Churchman, Elements of Logic and Formal Science. [REVIEW]J. C. C. McKinsey - 1941 - Journal of Symbolic Logic 6 (4):169-170.details
- 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.details
- The Decision Problem for Some Classes of Sentences Without Quantifiers.J. C. C. Mckinsey - 1944 - Journal of Symbolic Logic 9 (1):30-31.details
- Algebras and Their Sub-Algebras.A. H. Diamond & J. C. C. Mckinsey - 1948 - Journal of Symbolic Logic 13 (1):51-51.details
- Mathematical Logic With Transfinite Types.J. C. C. McKinsey - 1944 - Journal of Symbolic Logic 9 (3):72-73.details
- Lewis Carroll's Barber Shop Paradox.J. C. C. McKinsey - 1950 - Journal of Symbolic Logic 15 (3):222-223.details
- Elements of Logic and Formal Science.J. C. C. McKinsey - 1941 - Journal of Symbolic Logic 6 (4):169-170.details
- A Set of Postulates for Boolean Algebra.Solomon Hoberman & J. C. C. Mckinsey - 1937 - Journal of Symbolic Logic 2 (4):172-173.details
- A Correction to Lewis and Langford's Symbolic Logic.J. C. C. McKinsey - 1940 - Journal of Symbolic Logic 5 (4):149.details
- 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.details
- A New Definition of Truth.J. C. C. Mckinsey - 1951 - Journal of Symbolic Logic 16 (3):218-220.details
- A Note on Reichenbach's Axioms for Probability Implication.J. C. C. Mckinsey - 1940 - Journal of Symbolic Logic 5 (1):42-42.details
- 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.details
- 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.details
- Boolean Functions and Points.J. C. C. Mckinsey - 1937 - Journal of Symbolic Logic 2 (1):41-41.details
- Bruner Frank G.. Mathematical Logic with Transfinite Types. Planographed. Privately Printed and Distributed by the Author, 1460 East 57th Street, Chicago, 1943, V + 68 Pp. [REVIEW]J. C. C. McKinsey - 1944 - Journal of Symbolic Logic 9 (3):72-73.details
|
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
|
RSS feed
|
|