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