Classical Logic

One might define classical logic is a variant of intuitionistic first-order logic that accepts LEM.