Login
Login

Wikipedia:WikiProject Logic/To do

{{Wikipedia:WikiProject Philosophy/header}}

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

{| border="0" cellspacing="0" cellpadding="0" height="50" width="100%"

{{Wikipedia:WikiProject Logic/tab2|Main}}

{{Wikipedia:WikiProject Logic/tab2|Participants}}

{{Wikipedia:WikiProject Logic/tab2|Templates}}

{{Wikipedia:WikiProject Logic/tab2|Categories}}

{{Wikipedia:WikiProject Logic/tab2|Standards}}

{{Wikipedia:WikiProject Logic/tab1|To do}}

| style="border-bottom:2px ridge #001BB3;" width="100"|  

|-

| style="background-color:#FFFFFF" 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;padding:0px" valign="top" |

__NOTOC__

Tasks

{{LogicTasks}}

Notices and proposals

  1. Talk:Gödel–Gentzen negative translation: propose merge Gödel–Gentzen negative translation and Glivenko's theorem ({{date|30 April 2009|dmy}})
  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 {{tl|Philosophy}} or {{tl|Maths rating}} banner.

= Monitor recent changes =

These are the recent changes to pages linked from these pages

= Other routines =

|}