Some notes about the 5-value logic idea

[compilerbitch]

... are here, in the unlikely event that anyone's interested. It's still at-best quarter-baked, I still need to figure out how to handle feedback properly. But it does get the idea across anyway.

Comments

[doseybat.livejournal.com]

i think ill open it at school tomorrow and pretend to be engrossed in it when the head of department goes past *evyl grin*

its a scary thing to have done in an afternoon, i shudder to imagine the size of your thesis!! *trembles slightly* *warmhugs*

[grimgrim.livejournal.com]

Makes sense to me. Do you have cause to use the temporal logic operators? I have only dimly-remembered knowledge of them; geometric-looking affairs for 'assert X at some future time,' 'assert X at all times' and all that.