Proof theory of semi-substructural logics = Pool-allstruktuursete loogikate tõestusteooria
autor
juhendaja
vastutusandmed
Cheng-Syuan Wan ; [supervisor: Tarmo Uustalu, co-supervisor: Niccolò Veltri ; Tallinn University of Technology, School of Information Technologies, Department of Software Science]
dissertatsiooni liik
doktoritöö
ülikool/teadusasutus
Tallinna Tehnikaülikool
ilmumiskoht
Tallinn
kirjastus/väljaandja
ilmumisaasta
leheküljed
163 p
seeria-sari
Tallinn University of Technology. Doctoral thesis = Tallinna Tehnikaülikool. Doktoritöö ; 43/2025
vormimärksõna
ISSN
2585-6898
2585-6901 (PDF)
ISBN
978-9916-80-325-7 (PDF)
978-9916-80-324-0
märkused
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
leitav
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
TTÜ struktuuriüksus
keel
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). 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