Switch to: References

Add citations

You must login to add citations.
  1. Sequent Systems for Consequence Relations of Cyclic Linear Logics.Paweł Płaczek - 2024 - Bulletin of the Section of Logic 53 (2):245-274.
    Linear Logic is a versatile framework with diverse applications in computer science and mathematics. One intriguing fragment of Linear Logic is Multiplicative-Additive Linear Logic (MALL), which forms the exponential-free component of the larger framework. Modifying MALL, researchers have explored weaker logics such as Noncommutative MALL (Bilinear Logic, BL) and Cyclic MALL (CyMALL) to investigate variations in commutativity. In this paper, we focus on Cyclic Nonassociative Bilinear Logic (CyNBL), a variant that combines noncommutativity and nonassociativity. We introduce a sequent system for (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A Geometrical Representation of the Basic Laws of Categorial Grammar.Claudia Casadio & V. Michele Abrusci - 2017 - Studia Logica 105 (3):479-520.
    We present a geometrical analysis of the principles that lay at the basis of Categorial Grammar and of the Lambek Calculus. In Abrusci it is shown that the basic properties known as Residuation laws can be characterized in the framework of Cyclic Multiplicative Linear Logic, a purely non-commutative fragment of Linear Logic. We present a summary of this result and, pursuing this line of investigation, we analyze a well-known set of categorial grammar laws: Monotonicity, Application, Expansion, Type-raising, Composition, Geach laws (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Strong negation in intuitionistic style sequent systems for residuated lattices.Michał Kozak - 2014 - Mathematical Logic Quarterly 60 (4-5):319-334.
    We study the sequent system mentioned in the author's work as CyInFL with ‘intuitionistic’ sequents. We explore the connection between this system and symmetric constructive logic of Zaslavsky and develop an algebraic semantics for both of them. In contrast to the previous work, we prove the strong completeness theorem for CyInFL with ‘intuitionistic’ sequents and all of its basic variants, including variants with contraction. We also show how the defined classes of structures are related to cyclic involutive FL‐algebras and Nelson (...)
    Download  
     
    Export citation  
     
    Bookmark