Assertion: logic's property | /r/HasProperty | transferred
Facets:
value: back to classical proofs
type: OTHER
Source sentences:
text: Results such as the Gödel–Gentzen negative translation show that it is possible to embed (or translate) classical logic into intuitionistic logic, allowing some properties about intuitionistic proofs to be transferred back to classical proofs.