[harekaze]

It takes time for me to find and try understanding the materials you mentioned. I'm unlikely to have a meaningful reply to your comment anytime soon. Let me just thank you here :)

[pulisse]

Belnap's original expositions are pretty digestible. Look for "A Useful Four-Valued Logic" and "How a Computer Should Think".