Wikipedia talk:Logic

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)