رده‌ها نبیگ

A reduction in number of the postulates for C. I. Lewis' system of strict implication
(1934)
برابر انگلیک (انگلیسی): A reduction in number of the postulates for C. I. Lewis' system of strict implication

دست‌اندرکاران:

گسترش‌ها
J. C. C. McKinsey
مک کینزی
(1908 – 1953)


تاربرگ‌های پیموده‌شده در این نشست: پژوهشهایی در بنیادهای نگره‌ی هنگرد، یک ⟩ استواره‌هایی درباره‌ی افماریک گزاره‌ای لوئیس و هیتینگ ⟩ The completeness of the axioms of the logical function calculus ⟩ همتایی گوییک‌های درون‌یافت‌باوری و ابردرون‌یافت‌باوری با گوییک‌های سویی , S4 و فرا S4