Switch to: References

Add citations

You must login to add citations.
  1. From Belnap-Dunn Four-Valued Logic to Six-Valued Logics of Evidence and Truth.Marcelo E. Coniglio & Abilio Rodrigues - forthcoming - Studia Logica:1-46.
    The main aim of this paper is to introduce the logics of evidence and truth $$LET_{K}^+$$ and $$LET_{F}^+$$ together with sound, complete, and decidable six-valued deterministic semantics for them. These logics extend the logics $$LET_{K}$$ and $$LET_{F}^-$$ with rules of propagation of classicality, which are inferences that express how the classicality operator $${\circ }$$ is transmitted from less complex to more complex sentences, and vice-versa. The six-valued semantics here proposed extends the 4 values of Belnap-Dunn logic with 2 more values (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark