Switch to: References

Add citations

You must login to add citations.
  1. Jankov‐theorems for some implicational calculi.Biswambhar Pahi - 1975 - Mathematical Logic Quarterly 21 (1):193-198.
    Download  
     
    Export citation  
     
    Bookmark  
  • Classical Negation and Expansions of Belnap–Dunn Logic.Michael De & Hitoshi Omori - 2015 - Studia Logica 103 (4):825-851.
    We investigate the notion of classical negation from a non-classical perspective. In particular, one aim is to determine what classical negation amounts to in a paracomplete and paraconsistent four-valued setting. We first give a general semantic characterization of classical negation and then consider an axiomatic expansion BD+ of four-valued Belnap–Dunn logic by classical negation. We show the expansion complete and maximal. Finally, we compare BD+ to some related systems found in the literature, specifically a four-valued modal logic of Béziau and (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations