Misplaced Pages

The following pages link to Double-negation translation

• (link count
• transclusion count
• sorted list) · See help page for transcluding these entries

Showing 40 items.

• Negation (links | edit)
• Curry–Howard correspondence (links | edit)
• Double negation (links | edit)
• List of theorems (links | edit)
• Continuation-passing style (links | edit)
• !! (links | edit)
• Constructive set theory (links | edit)
• Gödel-Gentzen negative translation (redirect page) (links | edit)
• Godel-Gentzen negative translation (redirect page) (links | edit)
  • Talk:Brouwer–Hilbert controversy (links | edit)
• Double negative translation (redirect page) (links | edit)
• Negative translation (redirect page) (links | edit)
• Gödel–Gentzen translation (redirect page) (links | edit)
  • Kurt Gödel (links | edit)
  • Gerhard Gentzen (links | edit)
• Valery Glivenko (links | edit)
• ~~-translation (redirect page) (links | edit)
• Minimal logic (links | edit)
• Gödel-Gentzen translation (redirect page) (links | edit)
  • Intuitionistic logic (links | edit)
• Godel–Gentzen negative translation (redirect page) (links | edit)
• Gödel–Gentzen negative translation (redirect page) (links | edit)
  • Mathematical logic (links | edit)
  • Linear logic (links | edit)
  • Heyting arithmetic (links | edit)
  • Dialectica interpretation (links | edit)
  • Friedman translation (links | edit)
  • Talk:Boolean algebra/Archive 4 (links | edit)
  • User:Chalst/logic-watchlist (links | edit)
  • User:AlexNewArtBot/PhilosophySearchResult/archive2 (links | edit)
  • User:AlexNewArtBot/LogicSearchResult/archive5 (links | edit)
  • User:AlexNewArtBot/TestFeedSearchResult/archive23 (links | edit)
  • User:Gregbard/old watchlist (links | edit)
  • User:Aniruddha22Paranjpye/Books/Proof Theory (links | edit)
  • Misplaced Pages:WikiProject Logic/To do (links | edit)
• Double negation translation (redirect page) (links | edit)
• Glivenko translation (redirect page) (links | edit)
• Glivenko's translation (redirect to section "Propositional logic") (links | edit)
  • Sequent (links | edit)
  • Glivenko's theorem (links | edit)
  • Science and technology in Ukraine (links | edit)
  • Glossary of logic (links | edit)
• Kuroda translation (redirect page) (links | edit)
• Kuroda's translation (redirect page) (links | edit)
• Logic translation (links | edit)
• Talk:Paraconsistent logic (links | edit)
• Talk:Glivenko's theorem (links | edit)
• Talk:Double-negation translation (transclusion) (links | edit)
• Talk:Propositional calculus/Archive 2 (links | edit)
• User:VeblenBot/List of mathematical logic articles (links | edit)
• User:Tompw/Books/Mathematics (links | edit)
• User:Tompw/Books/Mathematics (D) (links | edit)
• User:Salix alba/subsup (links | edit)
• User:Domcd/Books/Logic, philosophy, language, mathematics (links | edit)
• User:Zarzuelazen/Books/Reality Theory: Mathematical Logic (links | edit)
• User:Rchard2scout/linterrors10000 (links | edit)
• Misplaced Pages:WikiProject Mathematics/List of mathematics articles (D–F) (links | edit)
• Misplaced Pages:WikiProject Mathematics/List of mathematics articles (D) (links | edit)
• Misplaced Pages:Reference desk/Archives/Mathematics/2020 February 20 (links | edit)
• Misplaced Pages:Reference desk/Archives/Mathematics/2021 April 14 (links | edit)
• Misplaced Pages talk:WikiProject Mathematics/Archive/2012/Jul (links | edit)