▁in ▁the ▁logic ▁of ▁prov ability ," ▁Journal ▁of ▁Symbol ic ▁Log ic ▁ 4 7 : ▁ 6 3 8 – 6 4 0 . ▁▁▁ 1 9 8 4 , ▁" Don ' t ▁eliminate ▁cut ," ▁Journal ▁of ▁Philosoph ical ▁Log ic ▁ 1 3 : ▁ 3 7 3 – 3 7 8 . ▁L LL . ▁▁▁ 1 9 8 4 a , ▁" The ▁logic ▁of ▁prov ability ," ▁American ▁Mathemat ical ▁Month ly ▁ 9 1 : ▁ 4 7 0 – 4 8 0 . ▁▁▁ 1 9 8 4 b , ▁" Non first order iz ability ▁again ," ▁L ingu istic ▁In qu iry ▁ 1 5 : ▁ 3 4 3 . ▁▁▁ 1 9 8 4 c , ▁" On ▁' S yl log istic ▁inference ', " ▁C ogn ition ▁ 1 7 : ▁ 1 8 1 – 1 8 2 . ▁▁▁ 1 9 8 4 d , ▁" To ▁be ▁is ▁to ▁be ▁the ▁value ▁of ▁a ▁variable ▁( or ▁some ▁values ▁of ▁some ▁variables ), " ▁Journal ▁of ▁Philosoph y ▁ 8 1 : ▁ 4 3 0 – 4 5 0 . ▁L LL . ▁▁▁ 1 9 8 4 e , ▁" T rees ▁and ▁finite ▁satisf i ability : ▁Proof ▁of ▁a ▁conject ure ▁of ▁John ▁Burg ess ," ▁Notre ▁D ame ▁Journal ▁of ▁F ormal ▁Log ic ▁ 2 5 : ▁ 1 9 3 – 1 9 7 . ▁▁ 1