Wikipedia:WikiProject Logic/To do

1. Gödel–Gentzen negative translation and Glivenko's theorem
   (30 April 2009)
2. Proposed merge of
   Modus tollendo ponens into Disjunctive syllogism
   , no discussion (11 March 2008)
3. Rework of Logic begun, see Talk:Logic (date=June 2009)

• Tag the talk page of all articles relevant to the project with either the {{
  Maths rating
  }} banner.

Monitor recent changes

These are the recent changes to pages linked from these pages

• List of logic topics
• Topic outline of logic
• Category:Logic
• Template:Logic

Other routines

• Review New Articles