?

Log in

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|, ]

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.
LinkReply

Comments:
(Deleted comment)
[User Picture]From: jcreed
2012-09-22 04:50 pm (UTC)
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.
(Reply) (Parent) (Thread)
From: simrob
2012-09-22 06:04 pm (UTC)
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.
(Reply) (Parent) (Thread)
From: allartburns
2012-09-23 12:15 am (UTC)
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.
(Reply) (Thread)
[User Picture]From: jcreed
2012-09-23 12:20 am (UTC)
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
(Reply) (Parent) (Thread)
From: allartburns
2012-09-23 12:23 am (UTC)
cool, thanks. I have a Verizon sim card in my laptop ($80/mo but wireless everywhere) so all I really need is power and permission to use the unit. I'll try this for my next NYC visit.
(Reply) (Parent) (Thread)
[User Picture]From: jcreed
2012-09-23 12:24 am (UTC)
Nice! seems worth trying, then.
(Reply) (Parent) (Thread)
[User Picture]From: jcreed
2012-09-23 12:26 am (UTC)
I guess I was incorrect and it's actually the http://en.wikipedia.org/wiki/Pennsylvanian_(train) that I was taking? The Keystone must've been the one I took sometimes just between Philly and NYC. Or maybe there's some weird overlap between them. Seems pretty unimportant for your purposes, but I didn't want to leave my BLATANT FACTUAL ERROR uncommented upon ;)
(Reply) (Parent) (Thread)