No account? Create an account
 Notes from a Medium-Sized Island [entries|archive|friends|userinfo]
Jason

 [ website | My Website ] [ userinfo | livejournal userinfo ] [ archive | journal archive ]

[Sep. 22nd, 2012|06:44 am]
Jason
 [ Tags | logic, travel ]

Back to nyc today. About to get on a train in like half an hour. Really enjoyed seeing everyone that I did manage to see! Sadly missed a few people I meant to, but there is only so much time.

Still thinking more about this logic where all the propositions are labelled over a boolean algebra, struggling to complete a heuristic analogy
trivial algebra : plain intuitionistic logic
commutative monoid : linear logic
monoid : ordered logic
boolean algebra : ???
(altough I'm not really putting all the pertinent information in this little table: e.g., it's not just the choice of the commutative monoid that gives linear logic, but also the choice of how you encode connectives into monoid operations. Still...)

Anyway it's so maddeningly close to looking like bunched logic, even though I know it's not quite, because it satisfies things like A & top |- A * A.

(Deleted comment)
 From: 2012-09-22 04:50 pm (UTC) (Link)
Well I am still up for having conversation over email/Skype/hangouts/whatev.

Last I checked it looked like vanilla nonassociative noncommutative logic was still displayable if you included both arrows, so it should be a legitimate logic and focus well 'nnat, and so a fortiori also the commutative version of it should be too.
 From: 2012-09-22 06:04 pm (UTC) (Link)
As to the tangent: the Lambek-descendant proof theory-for-language people looked into some crazy logics in that general family. I read a lot about this back when I was using CiteULike. You might want to look at the Moortgat-authored links there in particular.
 From: 2012-09-23 12:15 am (UTC) (Link)
Boring-but-useful-question: Which train are you taking? I have done planes and MegaBus to NYC but would prefer a train if I can go that way. Every hour in transport where I have a laptop out is an hour I can bill to a client.
 From: 2012-09-23 12:20 am (UTC) (Link)
Amtrak's "Keystone" route. 'bout 9 hours, so it's not fast even compared to a bus, but I find it a lot more comfortable than a bus, and quite a bit less stressful than flying. I usually manage to find a two-seat seat unit to myself, and if some asshole is bouncing their leg or talking on their cell phone or coughing* I can go hang out in the cafe car for a while or find a different seat. There's semi-wonky but mostly working wireless on the train even in coach, except they block youtube I think.

*Alas, the coughing asshole on this train was me