Switch to: References

Add citations

You must login to add citations.
  1. Improving Strong Negation.Satoru Niki - 2023 - Review of Symbolic Logic 16 (3):951-977.
    Strong negation is a well-known alternative to the standard negation in intuitionistic logic. It is defined virtually by giving falsity conditions to each of the connectives. Among these, the falsity condition for implication appears to unnecessarily deviate from the standard negation. In this paper, we introduce a slight modification to strong negation, and observe its comparative advantages over the original notion. In addition, we consider the paraconsistent variants of our modification, and study their relationship with non-constructive principles and connexivity.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Algebraic semantics for the (↔,¬¬)‐fragment of IPC.Katarzyna Słomczyńska - 2012 - Mathematical Logic Quarterly 58 (1-2):29-37.
    We show that the variety of equivalential algebras with regularization gives the algebraic semantics for the -fragment of intuitionistic propositional logic. We also prove that this fragment is hereditarily structurally complete.
    Download  
     
    Export citation  
     
    Bookmark   6 citations