title
Proof Theory of Semi-Substructural Logics
Pool-allstruktuursete loogikate tõestusteooria
author
Wan, Cheng-Syuan
keywords
semi-substructural logics
skew monoidal categories
proof theory
dissertations
pool-allstruktuursed loogikad
kiivmonoidilised kategooriad
tõestusteooria
dissertatsioonid
description
Citation: Wan, C.-S. (2025). Proof Theory of Semi-Substructural Logics [TalTech Press]. https://doi.org/10.23658/taltech.43/2025
serial number
43/2025
publisher
TalTech Press
TalTech Kirjastus
supervisor
Uustalu, Tarmo
Veltri, Niccolò
defence date
25.06.2025
identifier
https://digikogu.taltech.ee/et/Item/34f5f36e-f48f-400b-bca1-2a59ac30c392
ISBN 978-9916-80-325-7 (PDF)
https://doi.org/10.23658/taltech.43/2025
language
eng
rights
CC BY-NC-SA
institution
Tallinn University of Technology
Tallinna Tehnikaülikool
faculty
School of Information Technologies
Infotehnoloogia teaduskond
department / college
Department of Software Science
Tarkvarateaduse instituut