Jason (jcreed) wrote,
Jason
jcreed

I had what I thought was a brilliant idea this morning about connecting labelled deduction to linear logic in a slick way but it so happeneded that I bumped into Noam (fancybred) after lunch and told him about it and it turned out he had already tried it a while ago and it fails on disjunction. Grr. He pointed me to Dunn's work on Kripke semantics for linear logic, though. I think it will be helpful to read it.
Tags: work
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 0 comments