Proof theory of semi-substructural logics = Pool-allstruktuursete loogikate tõestusteooriaWan, Cheng-Syuan2025 https://digikogu.taltech.ee/et/Item/34f5f36e-f48f-400b-bca1-2a59ac30c392 https://www.ester.ee/record=b5752421*est https://doi.org/10.23658/taltech.43/2025