Jason (jcreed) wrote,

Aha! Sometimes I really love being wrong. Rowan led me to a misconception I had that

T |- []T

might hold in linear K in the weather report, but it definitely doesn't: the [] on the right wants the context to be empty right now.

Dealing with this finally reconciled the apparent gross asymmetry between pfenning-davies box and diamond. To make sure this doesn't hold in my encoding, box needs a funny side-condition just like diamond and everything is symmetric and beautiful again. Started writing it up a little bit here.
Tags: logic, math

  • (no subject)

    Today was warm until it wasn't; the evening, during which I went and picked up my laundry, showing signs of being legitimately Winter again. Took…

  • (no subject)

    Made some from-scratch pizza again for dinner. Dough turned out slightly crackery in flavor, but I got a lot of good rise out of my yeast this time.…

  • (no subject)

    Made some bread to make sure my yeast supply is still alive, in preparation for planning to make some pizza tomorrow. It is, and bread turned out…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded