- This list should be actively updated: Discuss
- Talk:Gödel–Gentzen negative translation: propose merge Gödel–Gentzen negative translation and Glivenko's theorem (30 April 2009)
- Proposed merge of Modus tollendo ponens into Disjunctive syllogism, no discussion (11 March 2008)
- Rework of Logic begun, see Talk:Logic (date=June 2009)
- 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
|