TY - RPRT TI - Cyclic Nonassociative Bilinear Logic With Additive Constants as Extension of Full Nonassociative Lambek Calculus AU - Paweł Płaczek AU - Cheng-Syuan Wan PY - 2026 DO - 10.4204/eptcs.455.12 UR - https://arxiv.org/abs/2610.40817 ID - 2610.40817 ER -