ABSTRACT
But the consequences of classicity reach farther: the implications (B l) , (B 2), (B3) become equivalences:
(C l) 3 x ( iH w ) ~ u 3 x w if x is not in fr(u)
(C2) 3 x ( w - > u ) ^ V x w - > u i f x is n o t in f r ( u )
(C3) (u V V x w ) ~ V x (u V w ) if x is not in fr(u) .