Switch to: References

Add citations

You must login to add citations.
  1. Connexive Logic, Connexivity, and Connexivism: Remarks on Terminology.Heinrich Wansing & Hitoshi Omori - 2023 - Studia Logica 112 (1):1-35.
    Over the past ten years, the community researching connexive logics is rapidly growing and a number of papers have been published. However, when it comes to the terminology used in connexive logic, it seems to be not without problems. In this introduction, we aim at making a contribution towards both unifying and reducing the terminology. We hope that this can help making it easier to survey and access the field from outside the community of connexive logicians. Along the way, we (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Quantifiers in connexive logic (in general and in particular).Heinrich Wansing & Zach Weber - forthcoming - Logic Journal of the IGPL.
    Connexive logic has room for two pairs of universal and particular quantifiers: one pair, |$\forall $| and |$\exists $|⁠, are standard quantifiers; the other pair, |$\mathbb{A}$| and |$\mathbb{E}$|⁠, are unorthodox, but we argue, are well-motivated in the context of connexive logic. Both non-standard quantifiers have been introduced previously, but in the context of connexive logic they have a natural semantic and proof-theoretic place, and plausible natural language readings. The results are logics that are negation inconsistent but non-trivial.
    Download  
     
    Export citation  
     
    Bookmark