J. C. C. McKinsey (1908 – 1953) Participations: گسترشها Some Theorems About the Sentential Calculi of Lewis and Heyting Some Theorems About the Sentential Calculi of Lewis and Heyting 1948 author J. C. C. McKinsey author Alfred Tarski A Solution of the Decision Problem for the Lewis systems S2 and S4, with an Application to Topology A Solution of the Decision Problem for the Lewis systems S2 and S4, with an Application to Topology 1941 author J. C. C. McKinsey A reduction in number of the postulates for C. I. Lewis' system of strict implication A reduction in number of the postulates for C. I. Lewis' system of strict implication 1934 author J. C. C. McKinsey