Switch to: References

Add citations

You must login to add citations.
  1. Truth diagrams for some non-classical and modal logics.Can Başkent - forthcoming - Journal of Applied Non-Classical Logics:1-34.
    This paper examines truth diagrams for some non-classical, modal and dynamic logics. Truth diagrams are diagrammatic and visual ways to represent logical truth akin to truth tables, developed by Peter C.-H. Cheng. Currently, it is only given for classical propositional logic. In this paper, we establish truth diagrams for Priest's Logic of Paradox, Belnap–Dunn's Four-Valued Logic, MacColl's Connexive Logic, Bochvar–Halldén's Logic of Non-Sense, Carnielli–Coniglio's logic of formal inconsistency as well as classical modal logic and its dynamic extension to shed light (...)
    Download  
     
    Export citation  
     
    Bookmark