A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications.

Jorge García Duque Martín López Nores José J. Pazos Arias Ana Fernández Vilas Rebeca P. Díaz Redondo Alberto Gil-Solla Yolanda Blanco-Fernández Manuel Ramos Cabrer A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications. 227-255 2006 16 J. Log. Comput. 2 http://dx.doi.org/10.1093/logcom/exi076 db/journals/logcom/logcom16.html#DuqueNAVRGBC06