Jason (jcreed) wrote,

Having a crummy day on a gut level for some reason, but over lunch break I worked out some more sweet, sweet math, continuing the same line of thinking that I've been mumbling about lately. Basically I think I'm getting awfully close to achieving a personal holy-grail sort of goal that I've had since around the end of grad school, namely, figuring out a nice way of blending all the modal and substructural things I've heard of into one snappy encoding down into something that is neither modal nor substructural.
Tags: logic, math, modal
  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded