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

I am interested in structural proof theory and its connection with other disciplines.
In particular, I am now working on Keywords: Curry-Howard-Lambek correspondence, structural proof theory, intuitionistic logic, categorical logic, linear logic, skew monoidal category, Agda

Publications

  1. N. Veltri, C.-S. Wan. Semi-substructural logics with additives.
    In T. Kutsia, D. Ventura, eds., Proc. of 18th Int. Wksh. on Logic and Semantic Frameworks with Applications, LSFA 2023 (Rome, July 2023), Electron. Proc. in Theor. Comput. Sci., Open Publishing Assoc., to appear.
    Agda code
  2. 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

Presentations

Last update 20.03.2024