Talk:Noncommutative logic

From Wikipedia, the free encyclopedia
Jump to: navigation, search
WikiProject Mathematics (Rated Start-class, Low-priority)
WikiProject Mathematics
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
Start Class
Low Priority
 Field:  Foundations, logic, and set theory

If this is the Retore calculus, I've never heard it called ordered logic, but instead pomset logic. Should we move this page? ---- Charles Stewart 20:31, 4 Dec 2004 (UTC)


There's more to noncommutativity than ordered logic: Yetter's cyclic linear logic is noncommutative but there is no order on sequents. So (after noting noncommutative is a redirect to here), I suggest we move the page to noncommutative logic, and talk about ordered logics in a section of the article ---- Charles Stewart 20:39, 4 Dec 2004 (UTC)

I'm in favour of deleting this article/merging it elsewhere. — Kaustuv 04:34, 2004 Dec 5 (UTC)

There's plenty of material for an article on noncommutative logic (Lambek calculus and its applications in linguistics, cyclic logic, the Retore calculus and logic with self-dual sequentiality). So I propose that the current noncommutative logic page is deleted, and move this page there, then I can put in a quick sketch of the topic. The linear logic page needs a bit of rejigging too. I don't expect this is controversial, so I'll just ask CSTAR if he can do this. ---- Charles Stewart 15:19, 6 Dec 2004 (UTC)

Postscript: Google tells me that 'noncommutative' is more widely used than 'non-commutative', so I shall just move this article, and change non-commutative logic to the appropriate redirect, so no administrator privileges are needed. ---- Charles Stewart 15:48, 6 Dec 2004 (UTC)

Global structure[edit]

When you type "Lambek calculus" into the search box, it takes you to this page (noncommutative logic). Yet this page says almost nothing about it, but links to the page called (categorial grammar), which had nothing much about it either. I wrote something about it there, but the search still comes here. How can that be changed? I put a link at that page that comes here, but the search should go there, I think.Programmer in Chief (talk) 01:49, 7 April 2011 (UTC)

Fixed. You'd just click on the blue link that says Lambek calculus, which takes you to the redirect page, which you can edit as a normal page. Lambek Calculus too. (talk) 02:20, 24 June 2013 (UTC)