Käesolevas doktoritöös uurime pool-allstruktuursete loogikate tõestusteooriat.
Need loogikasüsteemid on kiivmonoidiliste kategooriate ja nende mitmesuguste variantide loogikalisteks vasteteks. Erinevalt normaalsetest monoidilistest kategooriatest on assotsiatiivsuse ja ühikuseadused kiivmonoidilistes kategooriates loomulike isomorfismide asemel spetsiifilise suunaga loomulikud teisendused. Nõnda paigutuvad need loogikad mittekommutatiivse intuitsionistliku loogika ja Lambeki arvutuse ning nende mitteassotsiatiivsete nõrgenduste vahele.
Meie hinnangul näitavad doktoritöö tulemused, et pool-allstruktuursed loogikad on deduktiivsete ja semantiliste omaduste poolest rikkalikud ning pakuvad loogikasüsteemidena enamat huvi kui et on kiivmonoidiliste kategooriate variantide loogikalised vasted.

Doktoritöö on avaldatud Tehnikaülikooli raamatukogu digikogus

Juhendajad: juhtivteadur Tarmo Uustalu ning nooremprofessor Niccoló Veltri (TalTech)

Oponendid:

• professor Pierre-Louis Curien (Riiklik Teadusuuringute Keskus / Pariisi Ülikool, Prantsusmaa)
• professor Peter Dybjer (Chalmersi Tehnikaülikool, Rootsi)