Coherence via focusing for symmetric skew monoidal and symmetric skew closed categoriesVeltri, NiccoloJournal of logic and computation2025 / art. exae059 https://doi.org/10.1093/logcom/exae059 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Semi-substructural logics à la Lambek with symmetryWan, Cheng-SyuanBulletin of the section of logic2026 / p. 519-576 : ill https://doi.org/10.18778/0138-0680.2025.17 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS