On the definition of the classical connectives and quantifiers
  Classical logic is embedded into constructive logic, through a definition of the classical connectives and quantifiers in terms of the constructive ones. 
Gilles Dowek (DEDUCTEAM)
cs.LO