Cheng-Syuan Wan
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Semi-substructural logics à la Lambek with symmetry Bulletin of the Section of Logic | 2026-04-14 | Paper |
| An agda formalization of nonassociative Lambek calculus and its metatheory | 2026-02-10 | Paper |
| Semi-substructural logics à la Lambek | 2025-09-03 | Paper |
| Semi-substructural logics with additives | 2025-09-03 | Paper |
| Proof theory of skew non-commutative \texttt{MILL} | 2025-01-09 | Paper |
Research outcomes over time
This page was built for person: Cheng-Syuan Wan
