Jump to content

Wikipedia:WikiProject Logic/To do

From Wikipedia, the free encyclopedia
   Main    


   Participants    


   Templates    


   Categories    


   Standards    


   To do      

Tasks

[edit]
  • This list should be actively updated: Discuss



Notices and proposals

[edit]
  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

[edit]
  • Tag the talk page of all articles relevant to the project with either the {{Philosophy}} or {{Maths rating}} banner.

Monitor recent changes

[edit]

These are the recent changes to pages linked from these pages

Other routines

[edit]