pealkiri
Proof Theory of Semi-Substructural Logics
Pool-allstruktuursete loogikate tõestusteooria
autor
Wan, Cheng-Syuan
märksõnad
semi-substructural logics
skew monoidal categories
proof theory
dissertations
pool-allstruktuursed loogikad
kiivmonoidilised kategooriad
tõestusteooria
dissertatsioonid
kirjeldus
Citation: Wan, C.-S. (2025). Proof Theory of Semi-Substructural Logics [TalTech Press]. https://doi.org/10.23658/taltech.43/2025
doktoritöö järjekorranumber
43/2025
väljaandja
TalTech Press
TalTech Kirjastus
juhendaja
Uustalu, Tarmo
Veltri, Niccolò
kaitsmiskuupäev
25.06.2025
identifikaator
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
keel
eng
õigused
CC BY-NC-SA
asutus
Tallinn University of Technology
Tallinna Tehnikaülikool
teaduskond
School of Information Technologies
Infotehnoloogia teaduskond
instituut / kolledž
Department of Software Science
Tarkvarateaduse instituut