Proof theory of semi-substructural logics = Pool-allstruktuursete loogikate tõestusteooria
author
supervisor
statement of authorship
Cheng-Syuan Wan ; [supervisor: Tarmo Uustalu, co-supervisor: Niccolò Veltri ; Tallinn University of Technology, School of Information Technologies, Department of Software Science]
type of dissertation
doktoritöö
university/scientific institution
Tallinna Tehnikaülikool
location of publication
Tallinn
publisher
year of publication
pages
163 p
series
Tallinn University of Technology. Doctoral thesis = Tallinna Tehnikaülikool. Doktoritöö ; 43/2025
subject term
subject of form
ISSN
2585-6898
2585-6901 (PDF)
ISBN
978-9916-80-325-7 (PDF)
978-9916-80-324-0
notes
Autori publikatsioonide nimekiri leheküljel 7
Bibliogr. lk. 145-150
Kokkuvõte eesti keeles
Kättesaadav ka võrguteavikuna
Autori CV inglise ja eesti keeles, lk. 157-163
Thesis (Ph.D. (Information Technology)) : Tallinn University of Technology, 2025
url
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
TalTech department
language
inglise
Wan, C-S. Proof theory of semi-substructural logics = Pool-allstruktuursete loogikate tõestusteooria. Tallinn : TalTech Press, 2025. 163 p. (Tallinn University of Technology. Doctoral thesis = Tallinna Tehnikaülikool. Doktoritöö ; 43/2025).