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)

    After getting home from work immediately appeared to be a traintastrophe in the making, went to see Esther Schor talk about her book "Bridge of…

  • (no subject)

    Went to a series of maker-y talks hosted by Pivotal. The last one, by the woman who runs Genspace, "New York City's Community Biolab" was pretty…

  • (no subject)

    I had already been meaning to dig into JaneSt's "Incremental" library, which bills itself as a practical implementation (in ocaml) of the ideas in…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your IP address will be recorded