Wikipedia talk:Logic

This is the Logic discussion board for issues arising from WikiProject Logic. This is a discussion board for all Wikipedians interested in these issues, not just academics, or WikiProject Logic members. Article – Outline – Index – History – Category – WikiProject – Alerts – Deletions – Stubs – Noticeboard – Assessment – To-do

System T

I'm thinking of changing the redirect System T to point directly to Dialectica interpretation instead of to a stub subsection in the middle of the modal logic article, which doesn't mention anything called System T. Please advise. 69.228.171.150 (talk) 23:27, 10 November 2009 (UTC)