On the definition of the classical connectives and quantifiers
This paper embeds classical logic into constructive logic, in a homomorphic way, by providing an explicit definition of the classical connectives and quantifiers.