[chalst]

Indeed the two binary rails approach corresponds to a logic as well, namely Belnap's A4: https://en.m.wikipedia.org/wiki/Four-valued_logic

[gwf]

Yep, which is exactly what I did here:

https://core.ac.uk/download/pdf/82751815.pdf