Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Double-negation_translation> ?p ?o }
Showing triples 1 to 48 of
48
with 100 triples per page.
- Double-negation_translation abstract "In proof theory, a discipline within mathematical logic, double-negation translation, sometimes called negative translation, is a general approach for embedding classical logic into intuitionistic logic, typically by translating formulas to formulas which are classically equivalent but intuitionistically inequivalent. Particular instances of double-negation translation include Glivenko's translation for propositional logic, and the Gödel–Gentzen translation and Kuroda's translation for first-order logic.".
- Double-negation_translation wikiPageExternalLink logic-intuitionistic.
- Double-negation_translation wikiPageExternalLink Godels_Functional_Dialectica_Interpretation.
- Double-negation_translation wikiPageID "14662815".
- Double-negation_translation wikiPageLength "8058".
- Double-negation_translation wikiPageOutDegree "26".
- Double-negation_translation wikiPageRevisionID "680547095".
- Double-negation_translation wikiPageWikiLink Andrey_Kolmogorov.
- Double-negation_translation wikiPageWikiLink Anne_Sjerp_Troelstra.
- Double-negation_translation wikiPageWikiLink Arithmetical_hierarchy.
- Double-negation_translation wikiPageWikiLink Category:Intuitionism.
- Double-negation_translation wikiPageWikiLink Category:Proof_theory.
- Double-negation_translation wikiPageWikiLink Classical_logic.
- Double-negation_translation wikiPageWikiLink Conservative_extension.
- Double-negation_translation wikiPageWikiLink Continuation-passing_style.
- Double-negation_translation wikiPageWikiLink Curry–Howard_correspondence.
- Double-negation_translation wikiPageWikiLink Dialectica_interpretation.
- Double-negation_translation wikiPageWikiLink Evaluation_strategy.
- Double-negation_translation wikiPageWikiLink First-order_logic.
- Double-negation_translation wikiPageWikiLink Friedman_translation.
- Double-negation_translation wikiPageWikiLink Functional_programming.
- Double-negation_translation wikiPageWikiLink Gerhard_Gentzen.
- Double-negation_translation wikiPageWikiLink Heyting_arithmetic.
- Double-negation_translation wikiPageWikiLink Intuitionistic_logic.
- Double-negation_translation wikiPageWikiLink Kurt_Gödel.
- Double-negation_translation wikiPageWikiLink Mathematical_logic.
- Double-negation_translation wikiPageWikiLink Peano_axioms.
- Double-negation_translation wikiPageWikiLink Proof_theory.
- Double-negation_translation wikiPageWikiLink Propositional_calculus.
- Double-negation_translation wikiPageWikiLink Sigekatu_Kuroda.
- Double-negation_translation wikiPageWikiLink Solomon_Feferman.
- Double-negation_translation wikiPageWikiLink Valery_Glivenko.
- Double-negation_translation wikiPageWikiLinkText "Double-negation translation".
- Double-negation_translation wikiPageWikiLinkText "Gödel–Gentzen negative translation".
- Double-negation_translation wikiPageWikiLinkText "double-negation translation".
- Double-negation_translation wikiPageUsesTemplate Template:Reflist.
- Double-negation_translation subject Category:Intuitionism.
- Double-negation_translation subject Category:Proof_theory.
- Double-negation_translation hypernym Approach.
- Double-negation_translation type ProgrammingLanguage.
- Double-negation_translation type Proof.
- Double-negation_translation comment "In proof theory, a discipline within mathematical logic, double-negation translation, sometimes called negative translation, is a general approach for embedding classical logic into intuitionistic logic, typically by translating formulas to formulas which are classically equivalent but intuitionistically inequivalent.".
- Double-negation_translation label "Double-negation translation".
- Double-negation_translation sameAs Q5299605.
- Double-negation_translation sameAs m.03gs8yb.
- Double-negation_translation sameAs Q5299605.
- Double-negation_translation wasDerivedFrom Double-negation_translation?oldid=680547095.
- Double-negation_translation isPrimaryTopicOf Double-negation_translation.