Switch to: References

Add citations

You must login to add citations.
  1. Generalizing Functional Completeness in Belnap-Dunn Logic.Hitoshi Omori & Katsuhiko Sano - 2015 - Studia Logica 103 (5):883-917.
    One of the problems we face in many-valued logic is the difficulty of capturing the intuitive meaning of the connectives introduced through truth tables. At the same time, however, some logics have nice ways to capture the intended meaning of connectives easily, such as four-valued logic studied by Belnap and Dunn. Inspired by Dunn’s discovery, we first describe a mechanical procedure, in expansions of Belnap-Dunn logic, to obtain truth conditions in terms of the behavior of the Truth and the False, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   21 citations