Switch to: References

Add citations

You must login to add citations.
  1. Boolean Connexive Logic and Content Relationship.Mateusz Klonowski & Luis Estrada-González - 2023 - Studia Logica 112 (1):207-248.
    We present here some Boolean connexive logics (BCLs) that are intended to be connexive counterparts of selected Epstein’s content relationship logics (CRLs). The main motivation for analyzing such logics is to explain the notion of connexivity by means of the notion of content relationship. The article consists of two parts. In the first one, we focus on the syntactic analysis by means of axiomatic systems. The starting point for our syntactic considerations will be the smallest BCL and the smallest CRL. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Connexive Implications in Substructural Logics.Davide Fazio & Gavin St John - 2024 - Review of Symbolic Logic 17 (3):878-909.
    This paper is devoted to the investigation of term-definable connexive implications in substructural logics with exchange and, on the semantical perspective, in sub-varieties of commutative residuated lattices (FL ${}_{\scriptsize\mbox{e}}$ -algebras). In particular, we inquire into sufficient and necessary conditions under which generalizations of the connexive implication-like operation defined in [6] for Heyting algebras still satisfy connexive theses. It will turn out that, in most cases, connexive principles are equivalent to the equational Glivenko property with respect to Boolean algebras. Furthermore, we (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations