Switch to: References

Citations of:

On the equivalence of paraconsistent and explosive versions of Nelson logic

In On the equivalence of paraconsistent and explosive versions of Nelson logic. pp. 259-272 (2014)

Add citations

You must login to add citations.
  1. Belnap–Dunn Modal Logics: Truth Constants Vs. Truth Values.Sergei P. Odintsov & Stanislav O. Speranski - 2020 - Review of Symbolic Logic 13 (2):416-435.
    We shall be concerned with the modal logic BK—which is based on the Belnap–Dunn four-valued matrix, and can be viewed as being obtained from the least normal modal logic K by adding ‘strong negation’. Though all four values ‘truth’, ‘falsity’, ‘neither’ and ‘both’ are employed in its Kripke semantics, only the first two are expressible as terms. We show that expanding the original language of BK to include constants for ‘neither’ or/and ‘both’ leads to quite unexpected results. To be more (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations