Poked at some lit review for thesis. Display logic is crazy! It was invented by a guy whose office I just saw in the Cathedral the other day, Nuel Belnap. CHR is kind of sensible, but I don't know if it's applicable.
I have been rockin' an abstract spaced-out sort of loneliness lately. Dunno what to do about it. It's not so bad, really. But it's every now and again I remember that all the math and music and splines and poems and stories in the world still don't quite fill me up all the way. At their best they do come awful close, I have to admit.