Wikipedia talk:Logic
Latest comment: 14 years ago by 69.228.171.150 in topic System T
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
editI'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)