Order: Listing date First author Impact Pub year Relevance Downloads
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
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
The Problem of Counterfactual Conditionals. J. C. C. McKinsey & Nelson Goodman - 1947 - Journal of Symbolic Logic 12 (4):139. 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
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
On the syntactical construction of systems of modal logic. J. C. C. Mckinsey - 1945 - Journal of Symbolic Logic 10 (3):83-94. 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
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
Review: K. R. Popper, Logic Without Assumptions. [REVIEW] J. C. C. McKinsey - 1948 - Journal of Symbolic Logic 13 (2):114-115. details
On the Logic of Imperatives. Albert Hofstadter & J. C. C. Mckinsey - 1940 - Journal of Symbolic Logic 5 (1):41-41. 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
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
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
On the Syntactical Construction of Systems of Modal Logic. J. C. C. Mckinsey - 1946 - Journal of Symbolic Logic 11 (3):98-99. details
A New Definition of Truth. J. C. C. McKinsey - 1948 - Synthese 7 (6-A):428 - 433. details
On the Representation of Projective Algebras. J. C. C. Mckinsey - 1948 - Journal of Symbolic Logic 13 (4):223-223. details
Outlines of a Formalist Philosophy of Mathematics. J. C. C. McKinsey - 1953 - Journal of Symbolic Logic 18 (1):80-81. details
The Contrary-to-Fact Conditional. J. C. C. McKinsey & Roderick M. Chisholm - 1947 - Journal of Symbolic Logic 12 (4):138. 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
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
Everett C. J. and Ulam S.. Projective algebra I. American journal of mathematics, vol. 68 , pp. 77–88. J. C. C. McKinsey - 1946 - Journal of Symbolic Logic 11 (3):85-85. 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
Review: C. J. Everett, S. Ulam, Projective Algebra I. [REVIEW] J. C. C. McKinsey - 1946 - Journal of Symbolic Logic 11 (3):85-85. 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
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. details
Principia Mathematica, On a Redundancy in. J. C. C. Mckinsey - 1935 - Mind 44:270. details
Undecidable Statements and Metalanguage. J. C. C. McKinsey - 1944 - Journal of Symbolic Logic 9 (4):97-98. details
Remarks on the Definition and Nature of Mathematics. J. C. C. McKinsey & H. B. Curry - 1940 - Journal of Symbolic Logic 5 (1):26. details
Hare R. M.. Imperative sentences. Mind, n.s. vol. 58 , pp. 21–39. J. C. C. McKinsey - 1950 - Journal of Symbolic Logic 15 (2):145-145. details
Destouches-Février Paulette. La structure des théories physiques. With a preface by Louis de Broglie. Presses Universitaires de France, Paris 1951, XI + 423 pp. [REVIEW] J. C. C. McKinsey & Patrick Suppes - 1954 - Journal of Symbolic Logic 19 (1):52-55. details
Lalan Victor. Equations fonctionnelles dans un anneau booléien. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 230 , pp. 603–605. [REVIEW] J. C. C. McKinsey - 1950 - Journal of Symbolic Logic 15 (3):230-231. details
Dotterer Ray H.. A generalization of the antilogism. J. C. C. McKinsey - 1942 - Journal of Symbolic Logic 7 (1):38-39. 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
Review: P. G. J. Vredenduin, A System of Strict Implication. [REVIEW] J. C. C. McKinsey - 1939 - Journal of Symbolic Logic 4 (3):124-124. details
Fitch Frederic B.. Note on modal functions. J. C. C. McKinsey - 1940 - Journal of Symbolic Logic 5 (1):31-31. details
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. details
Moore Willis. The indexical and the presentative functions of signs. Philosophy of science, vol. 9 , pp. 367–371.Bergmann Gustave. Discussion. Philosophy of science, vol. 9 , pp. 372–374.Piaget Jean. Le rôle de la tautologie dans la composition additive des classes et des ensembles. Compte rendu des séances de la Société de Physique et d'Histoire Naturelle de Genève , vol. 58 , pp. 102–107.Piaget Jean. Le groupement additif des classes. Compte rendu des séances de la Société de Physique et d'Histoire Naturelle de Genève , vol. 58 , pp. 107–112.Piaget Jean. Le groupement additif des relations asymétriques et ses rapports avec le groupement additif des classes. Compte rendu des séances de la Société de Physique et d'Histoire Naturelle de Genève , vol. 58 , pp. 117–122.Piaget Jean. Sur les rapports entre les groupements additifs des classes et des relations asymétriques et le groupe additif des nombres entiers. Compte rendu des séances de la Société de Physique et d'Histoire Naturelle de. [REVIEW] J. C. C. McKinsey - 1943 - Journal of Symbolic Logic 8 (2):57-58. details
Review: Louis Rougier, Les Nouvelles Logiques de la Mecanique Quantique et l'Empirisme Radical. [REVIEW] J. C. C. McKinsey - 1940 - Journal of Symbolic Logic 5 (1):26-26. 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
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
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. details
Review: A. F. Peters, R. M. Hare on Imperative Sentences: A Criticism. [REVIEW] J. C. C. McKinsey - 1950 - Journal of Symbolic Logic 15 (2):145-145. details
Berry George D. W.. On Quine's axioms of quantification. J. C. C. McKinsey - 1941 - Journal of Symbolic Logic 6 (3):102-102. details
Byrne Lee. Two brief formulations of Boolean algebra. Bulletin of the American Mathematical Society, vol. 52 , pp. 269–272. [REVIEW] J. C. C. McKinsey - 1946 - Journal of Symbolic Logic 11 (3):85-85. details
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. details
Destouches-Février P.. La structure ouverte des théories quantiques. Revue philosophique de la France et de l'Étranger, vol. 142 , pp. 369–391. [REVIEW] J. C. C. McKinsey - 1954 - Journal of Symbolic Logic 19 (1):55-56. 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