Classical logic (or standard logic)[1][2] or Frege–Russell logic[3] is the intensively studied and most widely used class of deductive logic.[4] Classical logic has had much influence on analytic philosophy.
:0
was invoked but never defined (see the help page).