Jason (jcreed) wrote,

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.
Tags: logic, travel

  • (no subject)

    Some further progress cleaning up the https://xkcd.com/1360/ -esque augean stables that is my hard drive. Tomato chicken I made a couple days ago…

  • (no subject)

    Did some personal archaeology. Helped a little with laundry. Threw some chicken, onions, tomato, stock, peppers in the slow cooker and hopefully…

  • (no subject)

    Dinner with akiva and dannel at nuevo portal in carroll gardens. Ate a pile of chicken stew and rice and beans and maduros, good times. I do miss…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your IP address will be recorded