J. C. C. McKinsey, مک کینزی

مک کینزی

(1908 – 1953)
مک کینزی

انبازی‌ها:

A reduction in number of the postulates for C. I. Lewis' system of strict implicationA reduction in number of the postulates for C. I. Lewis' system of strict implication
1934
نگارنده
مک کینزی
A Solution of the Decision Problem for the Lewis systems S2 and S4, with an Application to TopologyA Solution of the Decision Problem for the Lewis systems S2 and S4, with an Application to Topology
1941
نگارنده
مک کینزی
Some Theorems About the Sentential Calculi of Lewis and HeytingSome Theorems About the Sentential Calculi of Lewis and Heyting
1948
نگارنده
مک کینزی
نگارنده
آلفرد تارسکی