Switch to: References

Add citations

You must login to add citations.
  1. A basic system of paraconsistent Nelsonian logic of conditionals.Grigory K. Olkhovikov - 2024 - Journal of Logic, Language and Information 33 (4):299-337.
    We define a Kripke semantics for a conditional logic based on the propositional logic $$\textsf{N4}$$ N 4, the paraconsistent variant of Nelson’s logic of strong negation; we axiomatize the minimal system induced by this semantics. The resulting logic, which we call $$\textsf{N4CK}$$ N 4 CK, shows strong connections both with the basic intuitionistic logic of conditionals $$\textsf{IntCK}$$ IntCK introduced earlier in (Olkhovikov, 2023) and with the $$\textsf{N4}$$ N 4 -based modal logic $$\textsf{FSK}^d$$ FSK d introduced in (Odintsov and Wansing, 2004) (...)
    Download  
     
    Export citation  
     
    Bookmark