4 ms·
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 https://en.m.wikipedi
by chalst 6y ago
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 https://en.m.wikipedia.org/wiki/Four-valued_logic
- gwf 6y agoYep, which is exactly what I did here: https://core.ac.uk/download/pdf/82751815.pdf https://core.ac.uk/download/pdf/82751815.pdf