Another Useful Four-Valued Logic. - Zuoquan Lin; Zhaocong Jia (KSEM (2), 2018)