Lineaarloogika multikategoorsest vaatepunktist
Laen...
Kuupäev
Autorid
Ajakirja pealkiri
Ajakirja ISSN
Köite pealkiri
Kirjastaja
Tartu Ülikool
Abstrakt
Käesolevas bakalaureusetöös tutvustatakse multikategooria, vaba multikategooria ning
esitatava multikategooria mõisteid. Veendutakse, et mittekommutatiivne lineaarloogika ilma loogiliste tehtemärkideta moodustab vaba multikategooria signatuuril. Lisaks
näidatakse, et mittekommutatiivne lineaarloogika koos oma multiplikatiivse konjunktsiooni tehtemärgiga moodustab esitatava multikategooria.
Kirjeldus
Märksõnad
lineaarloogika, vabad multikategooriad, esitatavad multikategooriad, linear logic, free multicategories, representable multicategories