Cheng-Syuan Wan

According to our database, Cheng-Syuan Wan authored at least 2 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Semi-Substructural Logics with Additives.

Niccolò Veltri, Cheng-Syuan Wan

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

2022

Proof Theory of Skew Non-Commutative MILL.

Tarmo Uustalu, Niccolò Veltri, Cheng-Syuan Wan

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