The Logical Role of the Four-Valued Bilattice.

Ofer Arieli, Arnon Avron

Browse the full LICS paper archive.