Wikipedia:WikiProject Logic/To do

{| width="100%" cellspacing="0" cellpadding="0" valign="top"|

{| width="100%" style="background-color:#FFFFFF; padding:5px; border-bottom:2px solid #001BB3; border-left:2px solid #001BB3; border-right:2px solid #001BB3; " cellspacing="5" valign="top"|
 * style="background-color:#FFFFFF" valign="top" |
 * style="background-color:#FFFFFF" valign="top" |
 * style="background-color:#FFFFFF;padding:0px" valign="top" |
 * style="background-color:#FFFFFF;padding:0px" valign="top" |

Notices and proposals

 * 1) Talk:Gödel–Gentzen negative translation: propose merge 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)

Routines

 * Tag the talk page of all articles relevant to the project with either the Philosophy or 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
 * }