Contraction and Curry's Paradox に絡んで以下を入手。 Susan Rogerson and Sam Butchart “Naïve Comprehension and Contracting Implications,” in: Studia Logica, vol. 71, no. 1 2002 Susan Rogerson “Natural Deduction and Curry's Paradox,” in: Jou…