Before revision: Classical logic (or standard logic ) is the intensively studied and most widely used class of deductive logic.
After revision: or Frege-Russell logicClassical logic (or standard logic ) is the intensively studied and most widely used class of deductive logic.