2 citations · 2 across the 2 of their papers we have counts for
2 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
Complexity of Nonassociative Lambek Calculus with classical logic
Paweł Płaczek
The Nonassociative Lambek Calculus (NL) represents a logic devoid of the structural rules of exchange, weakening, and contraction, and it does not presume the associativity of its…