On a four-valued logic of formal inconsistency and formal underterminedness

Marcelo E. Coniglio, G. T. Gomez-Pereira, Martín Figallo

Belnap-Dunn's relevance logic, BD, was designed seeking a suitable logical device for dealing with multiple information sources which sometimes may provide inconsistent and/or inco…