Cheng-Syuan Wan “Proof Theory of Semi-Substructural Logics” (”Pool-allstruktuursete loogikate tõestusteooria”)