On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence
2011 ◽
pp. 115-122
◽