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