Cheng-Syuan Wan
Contact
Email: | cswan at cs ioc ee |
Address: | B424, Akadeemia tee 21b, 12618 Tallinn, Estonia |
Research Interests
Structural proof theory, substructural logic, categorical and algebraic semantics, formalization of mathematics.
Publications
- C.-S. Wan. Semi-substructural logics à la Lambek.
In A. Indrzejczak, M. Zawidzki, eds., Proc. of 10th Int. Conf. on Non-classical Logics: Theory and Applications, NCL 2024 (Lódź, September 2024), Electron. Proc. in Theor. Comput. Sci., to appear
preprint at publisher
- N. Veltri, C.-S. Wan. Semi-substructural logics with additives.
In T. Kutsia, D. Ventura, D. Monniaux, J. F. Morales, eds., Proc. of 18th Int. Wksh. on Logical and Semantic Frameworks with Applications, LSFA 2023 (Rome, July 2023) and 10th Wksh. of Horn Clauses for Verification and Synthesis, HCVS 2023 (Paris, Apr. 2023), v. 402 of Electron. Proc. in Theor. Comput. Sci., pp. 63-80. Open Publishing Assoc., 2024
Agda code
pdf
- T. Uustalu, N. Veltri, C.-S. Wan. Proof theory of skew non-commutative MILL.
In A. Indrzejczak, M. Zawidzki, eds., Proc. of 10th Int. Conf. on Non-classical Logics: Theory and Applications, NCL 2022 (Lódź, March 2022), v. 358 of Electron. Proc. in Theor. Comput. Sci., pp. 118-135. Open Publishing Assoc., 2022.
Agda code
pdf
Manuscripts
- N. Veltri, C.-S. Wan. Craig Interpolation for Semi-Substructural Logics.
Agda code
pdf
Presentations
- Semi-Substructural Logics à la Lambek at
- Craig Interpolation for Semi-Substructural Logics at
- Semi-Substructural Logics with Additives at
- Towards Skew Non-Commutative MILL with Additives at
- Skew multiplicative intuitionistic linear logic at
- Proof theory of skew non-commutative MILL at
Last update 16.10.2024