تاربرگ‌های پیموده‌شده در این نشست: A reduction in number of the postulates for C. I. Lewis' system of strict implication همتایی گویایی‌های درون‌یافت‌باوری و ابردرون‌یافت‌باوری با گویایی‌های سویی , S4 و فرا S4 The completeness of the axioms of the logical function calculus