Cheng-Syuan Wan

According to our database¹, Cheng-Syuan Wan authored at least 3 papers between 2022 and 2025.

Collaborative distances:

Timeline

2022

2023

2024

2025

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Semi-Substructural Logics à la Lambek.

[BibT_eX]

[DOI]

CoRR, January, 2025

2023

Semi-Substructural Logics with Additives.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 18th International Workshop on Logical and Semantic Frameworks, 2023

2022

Proof Theory of Skew Non-Commutative MILL.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, 2022