Switch to: References

Add citations

You must login to add citations.
  1. On a Four-Valued Logic of Formal Inconsistency and Formal Undeterminedness.Marcelo E. Coniglio, G. T. Gomez–Pereira & Martín Figallo - forthcoming - Studia Logica:1-42.
    Belnap–Dunn’s relevance logic, \(\textsf{BD}\), was designed seeking a suitable logical device for dealing with multiple information sources which sometimes may provide inconsistent and/or incomplete pieces of information. \(\textsf{BD}\) is a four-valued logic which is both paraconsistent and paracomplete. On the other hand, De and Omori, while investigating what classical negation amounts to in a paracomplete and paraconsistent four-valued setting, proposed the expansion \(\textsf{BD2}\) of the four valued Belnap–Dunn logic by a classical negation. In this paper, we introduce a four-valued expansion (...)
    Download  
     
    Export citation  
     
    Bookmark