آشنایی با J. C. C. McKinsey آشنایی با مک کینزی

مک کینزی

(1908 – 1953)
برابر انگلیک (انگلیسی): J. C. C. McKinsey

انبازی‌ها:

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
داتار
مک کینزی
داتار
آلفرد تارسکی