On the definition of the classical connectives and quantifiers
Abstract
This paper embeds classical logic into constructive logic, in a homomorphic way, by providing an explicit definition of the classical connectives and quantifiers.
Origin : Files produced by the author(s)