6 citations · 8 across the 3 of their papers we have counts for
3 papers
cs.LO2026
Cyclic Nonassociative Bilinear Logic With Additive Constants as Extension of Full Nonassociative Lambek Calculus
Paweł Płaczek, Cheng-Syuan Wan
Cyclic Linear Logic (CyMALL, CyBL) is a compromise between Commutative Linear Logic (MALL) and Noncommutative Linear Logic (Bilinear Logic, BL). We do not admit commutativity of th…
cs.LO2024★ 2 cited
Semi-Substructural Logics with Additives
Niccolò Veltri, Cheng-Syuan Wan
This work concerns the proof theory of (left) skew monoidal categories and their variants (e.g. closed monoidal, symmetric monoidal), continuing the line of work initiated in recen…
cs.LO2022★ 6 cited
Proof Theory of Skew Non-Commutative MILL
Tarmo Uustalu, Niccolò Veltri, Cheng-Syuan Wan
Monoidal closed categories naturally model NMILL, non-commutative multiplicative intuitionistic linear logic: the monoidal unit and tensor interpret the multiplicative verum and co…