Cheng-Syuan Wan


I am a PhD student in the Logic and Semantics Group at Tallinn University of Technology.
My supervisors are Tarmo Uustalu and Niccolò Veltri.

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

  1. 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
  2. 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
  3. 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

  1. N. Veltri, C.-S. Wan. Craig Interpolation for Semi-Substructural Logics.
    Agda code pdf

Presentations

Last update 16.10.2024